On Jan 20, 2008 12:17 PM, Jan Bessai <jan.bessai at tu-dortmund.de> wrote:
> Maxima is able to differentiate asinh(x) correctly, but does not know
> the equation cosh(asinh(x)) = sqrt(x^2 + 1) (at least not in 5.13.0)
> which is usually needed to do that.
Try:
ex: cosh(asinh(x));
ex,exponentialize,logarc =>
(1/(sqrt(x^2+1)+x)+sqrt(x^2+1)+x)/2
ratsimp(%),algebraic =>
sqrt(x^2+1)