asech acosh Add Add x0 pi cosh E 
Mul Pow Mul sqrt Add Add Add x0 pi cosh E -1 sqrt Add 1 Add Add x0 pi cosh E -1 Pow Mul Mul acosh Add Add x0 pi cosh E acosh Add Add x0 pi cosh E sqrt Add 1 Mul -1 Pow Mul acosh Add Add x0 pi cosh E acosh Add Add x0 pi cosh E -1 -1 