>> tan(x)/sqrt((tan(x))^4+1) = sin(2*x)/sqrt(cos(4*x)+3) on the real axis?
> Looks alright to me on the real axis. Is this what Sage/Maxima 5.11 > returns for Charlwood's problem 43?
No. This is just what I observed. I think it is a nice illustration of what is equal and what not in this context (real line/complex).
> In order to compare systems whose default domain can be either the > real numbers or the complex numbers, Albert needs model antiderivatives > that hold on the entire complex plane, but for the former systems he > accepts as valid any evaluation that holds on the real axis. In the > Timofeev suite I took care to supply complex model antiderivatives for > the same reason. On the other hand, I expect real-only answers to be > fully adequate in professor Charlwood's calculus teaching context.
Ah ok, thanks for the clarification.
> PS: How about contributing a chapter of the Timofeev suite yourself?
Hm, my Russian is a little bit rosty, Genosse Martin!