acosh Pow Pow cosh Mul x6 Mul -1 x0 E atan x2 
Mul Mul Pow Pow cosh Mul x6 Mul -1 x0 E Add atan x2 -1 Mul atan x2 Mul Pow cosh Mul x6 Mul -1 x0 Add E -1 Mul E Mul sinh Mul x6 Mul -1 x0 Mul x6 -1 Pow Mul sqrt Add Pow Pow cosh Mul x6 Mul -1 x0 E atan x2 -1 sqrt Add 1 Pow Pow cosh Mul x6 Mul -1 x0 E atan x2 -1 