Add Mul Pow E x0 atan Mul x0 -4 Add Mul 5 acosh Add log x0 x0 Mul Add Pow Mul x7 x0 Pow x5 x0 4 x2 
Add Add Mul atan Mul x0 -4 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Mul -4 Pow Add 1 Mul Mul x0 -4 Mul x0 -4 -1 Add Mul 5 Mul Add Pow x0 -1 1 Pow Mul sqrt Add Add log x0 x0 -1 sqrt Add 1 Add log x0 x0 -1 Mul x2 Mul Pow Mul x7 x0 Add Pow x5 x0 -1 Add Mul Pow x5 x0 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 