Pow asec cosh Mul Mul -4 x0 x1 3 
Mul Pow asec cosh Mul Mul -4 x0 x1 2 Mul 3 Mul Mul sinh Mul Mul -4 x0 x1 Mul x1 -4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh Mul Mul -4 x0 x1 cosh Mul Mul -4 x0 x1 -1 cosh Mul Mul -4 x0 x1 cosh Mul Mul -4 x0 x1 -1 