Add sech acosh Mul Add x0 E x0 sec exp Add x3 6 
Mul Mul tanh acosh Mul Add x0 E x0 Mul -1 sech acosh Mul Add x0 E x0 Mul Add x0 Add x0 E Pow Mul sqrt Add Mul Add x0 E x0 -1 sqrt Add 1 Mul Add x0 E x0 -1 