acot Pow Pow Pow Pow x0 atan x2 exp Add x0 74.2099485247878 Pow x0 acosh Add x0 x0 x4 
Mul -1 Mul Mul Pow Pow Pow Pow x0 atan x2 exp Add x0 74.2099485247878 Pow x0 acosh Add x0 x0 Add x4 -1 Mul x4 Mul Pow Pow Pow x0 atan x2 exp Add x0 74.2099485247878 Add Pow x0 acosh Add x0 x0 -1 Add Mul Pow x0 acosh Add x0 x0 Mul Pow Pow x0 atan x2 Add exp Add x0 74.2099485247878 -1 Add Mul exp Add x0 74.2099485247878 Mul Pow x0 Add atan x2 -1 atan x2 Mul Mul Pow x0 atan x2 log Pow x0 atan x2 exp Add x0 74.2099485247878 Mul Mul Pow Pow x0 atan x2 exp Add x0 74.2099485247878 log Pow Pow x0 atan x2 exp Add x0 74.2099485247878 Mul Pow x0 Add acosh Add x0 x0 -1 Add acosh Add x0 x0 Mul Mul x0 log x0 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Pow Add 1 Mul Pow Pow Pow Pow x0 atan x2 exp Add x0 74.2099485247878 Pow x0 acosh Add x0 x0 x4 Pow Pow Pow Pow x0 atan x2 exp Add x0 74.2099485247878 Pow x0 acosh Add x0 x0 x4 -1 