sech Add Mul E acosh cosh Add x0 x0 x0 
Mul Mul tanh Add Mul E acosh cosh Add x0 x0 x0 Mul -1 sech Add Mul E acosh cosh Add x0 x0 x0 Add Mul E Mul Mul sinh Add x0 x0 2 Pow Mul sqrt Add cosh Add x0 x0 -1 sqrt Add 1 cosh Add x0 x0 -1 1 