Revision history [back]
 | 1 | initial version |
Sage's simplify{_xxx}methods are known to be somewhat weaker than what is available in other interpreters. Try :
sage: (1/2 * log(2) - 1/2 * log(2 * x + 2 * sqrt(x^2 - 1)))._sympy_().simplify()._sage_()
-1/2*log(x + sqrt(x^2 - 1))
sage: (1/2 * log(2) - 1/2 * log(2 * x + 2 * sqrt(x^2 - 1)))._giac_().simplify()._sage_()
1/2*log(x - sqrt(x^2 - 1))
sage: (1/2 * log(2) - 1/2 * log(2 * x + 2 * sqrt(x^2 - 1)))._mathematica_().FullSimplify().sage()
-1/2*log(x + sqrt(x^2 - 1))
The acosh reexpression seems, however, unavailable in any of the interpreters I tried. Extending the current demoivre method may be possible.
| | 2 | No.2 Revision |
Sage's simplify{_xxx}methods are known to be somewhat weaker than what is available in other interpreters. Try :
sage: (1/2 * log(2) - 1/2 * log(2 * x + 2 * sqrt(x^2 - 1)))._sympy_().simplify()._sage_()
-1/2*log(x + sqrt(x^2 - 1))
sage: (1/2 * log(2) - 1/2 * log(2 * x + 2 * sqrt(x^2 - 1)))._giac_().simplify()._sage_()
1/2*log(x - sqrt(x^2 - 1))
sage: (1/2 * log(2) - 1/2 * log(2 * x + 2 * sqrt(x^2 - 1)))._mathematica_().FullSimplify().sage()
-1/2*log(x + sqrt(x^2 - 1))
The acosh reexpression seems, however, unavailable in any of the interpreters I tried. Extending the current demoivre method and exponentialize methods to inverse trigonometric and hyperbolic functions may be possible.
