sinh Mul Pow tanh acosh x0 x4 Mul Pow x5 E x0 
Mul cosh Mul Pow tanh acosh x0 x4 Mul Pow x5 E x0 Add Mul Mul Pow x5 E x0 Mul Pow tanh acosh x0 Add x4 -1 Mul x4 Mul Pow sech acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow tanh acosh x0 x4 Pow x5 E 