Mul cosh Mul sqrt Mul atan x2 x0 atan Pow Mul -3 E 4 x0 
Add Mul x0 Mul sinh Mul sqrt Mul atan x2 x0 atan Pow Mul -3 E 4 Mul atan Pow Mul -3 E 4 Mul Pow Mul 2 sqrt Mul atan x2 x0 -1 atan x2 cosh Mul sqrt Mul atan x2 x0 atan Pow Mul -3 E 4 