-- Option variable: triginverses Default value:
triginverses controls the simplification of the composition of trigonometric and hyperbolic functions with their inverse functions.
all, both e.g.
tan(atan(<x>)) simplify to <x>.
<arcfun>(<fun>(<x>)) simplification is turned off.
false, both the
<fun>(<arcfun>(<x>)) simplifications are turned off.
(%o1) true (%i2)