sech Mul acosh x5 sqrt Add Mul acosh E x0 Pow -5 x5 
Mul Mul tanh Mul acosh x5 sqrt Add Mul acosh E x0 Pow -5 x5 Mul -1 sech Mul acosh x5 sqrt Add Mul acosh E x0 Pow -5 x5 Mul acosh x5 Mul Pow Mul 2 sqrt Add Mul acosh E x0 Pow -5 x5 -1 acosh E 