[Maxima] Feature request: cosh(asinh(x)) = sqrt(x^2+1)
Raymond Toy (RT/EUS)
raymond.toy at ericsson.com
Tue Jan 22 09:08:09 CST 2008
Robert Dodier wrote:
> On 1/20/08, 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.
> tellsimpafter as mentioned by Barton is one way to implement that Identity.
> Here is another way.
This begs the question: Should maxima already know this and if so, how
should it be done? I think it would be easy to add this rule in
trigo.lisp, but is that the right thing to do?
More information about the Maxima