csch acosh Add x0 Add sec x7 Mul coth x7 x5 
Mul Mul Mul -1 coth acosh Add x0 Add sec x7 Mul coth x7 x5 csch acosh Add x0 Add sec x7 Mul coth x7 x5 Pow Mul sqrt Add Add x0 Add sec x7 Mul coth x7 x5 -1 sqrt Add 1 Add x0 Add sec x7 Mul coth x7 x5 -1 