Mul asec Pow x0 3 Mul Add -3 x0 acoth Add acosh Pow atan x0 log x0 x6 
Add Mul Mul Add -3 x0 acoth Add acosh Pow atan x0 log x0 x6 Mul Mul Pow x0 2 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 3 Pow x0 3 -1 Pow x0 3 Pow x0 3 -1 Mul asec Pow x0 3 Add acoth Add acosh Pow atan x0 log x0 x6 Mul Add -3 x0 Mul Mul Mul Pow atan x0 Add log x0 -1 Add Mul log x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Pow x0 -1 Pow Mul sqrt Add Pow atan x0 log x0 -1 sqrt Add 1 Pow atan x0 log x0 -1 Pow Add 1 Mul -1 Mul Add acosh Pow atan x0 log x0 x6 Add acosh Pow atan x0 log x0 x6 -1 