Mul x0 Mul Mul cosh Add x7 coth Mul x4 -3 asec x0 Mul x4 -4 
Add Mul Mul cosh Add x7 coth Mul x4 -3 asec x0 Mul x4 -4 Mul x0 Mul Mul x4 -4 Mul cosh Add x7 coth Mul x4 -3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 