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