Mul sqrt Add x7 asec cosh x0 0.0183156388887342 
Mul 0.0183156388887342 Mul Pow Mul 2 sqrt Add x7 asec cosh x0 -1 Mul sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 cosh x0 cosh x0 -1 