Mul Mul -4 Add x0 4 Pow asech cosh x0 Pow -4 x7 
Add Mul Pow asech cosh x0 Pow -4 x7 -4 Mul Mul -4 Add x0 4 Mul Pow asech cosh x0 Add Pow -4 x7 -1 Mul Pow -4 x7 Mul sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 