acoth sinh Add Mul Mul asec pi Add x0 atan asinh x7 2 x0 
Mul Mul cosh Add Mul Mul asec pi Add x0 atan asinh x7 2 x0 Add Mul 2 asec pi 1 Pow Add 1 Mul -1 Mul sinh Add Mul Mul asec pi Add x0 atan asinh x7 2 x0 sinh Add Mul Mul asec pi Add x0 atan asinh x7 2 x0 -1 