Comment by anematode

    // ∫ tan(x) dx = -ln|cos(x)| - not implemented (requires Log)

This really doesn't bode well... I'm no expert in CASes, but everything I've looked at seems very naive. Vibe coding a Mathematica replacement makes zero sense to me.