Mul Pow x6 sqrt x0 Mul Mul x0 2 acosh Mul -5 atan x0 
Add Mul Mul Mul x0 2 acosh Mul -5 atan x0 Mul Pow x6 Add sqrt x0 -1 Mul Mul x6 log x6 Pow Mul 2 sqrt x0 -1 Mul Pow x6 sqrt x0 Add Mul acosh Mul -5 atan x0 2 Mul Mul x0 2 Mul Mul -5 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul -5 atan x0 -1 sqrt Add 1 Mul -5 atan x0 -1 