Pow Pow asec x0 Mul -1 acot cosh E x5 
Mul Pow Pow asec x0 Mul -1 acot cosh E Add x5 -1 Mul x5 Mul Pow asec x0 Add Mul -1 acot cosh E -1 Mul Mul -1 acot cosh E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 