Feature request: cosh(asinh(x)) = sqrt(x^2+1)

• Subject: Feature request: cosh(asinh(x)) = sqrt(x^2+1)
• From: Jan Bessai
• Date: Sun, 20 Jan 2008 18:17:05 +0100

Hi,
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.
Could you add it, please?
Thanks,
 Jan

cosh(asinh(x)) = sqrt(1 - sinh?(asinh(x))) = sqrt(1 - x?)

• Prev by Date: Factorization in extension fields
• Next by Date: Factorization in extension fields
• Previous by thread: Feature Request
• Next by thread: Feature request: cosh(asinh(x)) = sqrt(x^2+1)
• Index(es):
  • Date
  • Thread