sinh Pow sin acosh x7 Pow tanh E x0 
Mul cosh Pow sin acosh x7 Pow tanh E x0 Mul Pow sin acosh x7 Add Pow tanh E x0 -1 Mul Mul sin acosh x7 log sin acosh x7 Mul Pow tanh E Add x0 -1 Mul tanh E log tanh E 