Mul Pow Pow Pow x7 x0 Pow x0 atan x1 Mul -3 Pow acosh x0 x0 4 
Mul 4 Mul Pow Pow Pow x7 x0 Pow x0 atan x1 Add Mul -3 Pow acosh x0 x0 -1 Add Mul Mul -3 Pow acosh x0 x0 Mul Pow Pow x7 x0 Add Pow x0 atan x1 -1 Add Mul Pow x0 atan x1 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Pow x7 x0 log Pow x7 x0 Mul Pow x0 Add atan x1 -1 atan x1 Mul Mul Pow Pow x7 x0 Pow x0 atan x1 log Pow Pow x7 x0 Pow x0 atan x1 Mul -3 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 