asech Mul acosh cosh Add Add x0 x0 x0 -2 
Mul Mul -2 Mul Mul sinh Add Add x0 x0 x0 3 Pow Mul sqrt Add cosh Add Add x0 x0 x0 -1 sqrt Add 1 cosh Add Add x0 x0 x0 -1 Pow Mul Mul Mul acosh cosh Add Add x0 x0 x0 -2 Mul acosh cosh Add Add x0 x0 x0 -2 sqrt Add 1 Mul -1 Pow Mul Mul acosh cosh Add Add x0 x0 x0 -2 Mul acosh cosh Add Add x0 x0 x0 -2 -1 -1 