exp Mul tanh Mul Mul Pow x3 3 acosh x0 x7 sec asec x4 
Mul exp Mul tanh Mul Mul Pow x3 3 acosh x0 x7 sec asec x4 Mul sec asec x4 Mul Pow sech Mul Mul Pow x3 3 acosh x0 x7 2 Mul x7 Mul Pow x3 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 