Mul Mul atan x0 Pow Mul x7 -4 Mul 5.00067115040168 Mul acoth x0 -0.523598775598299 -1 
Mul -1 Add Mul Pow Mul x7 -4 Mul 5.00067115040168 Mul acoth x0 -0.523598775598299 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow Mul x7 -4 Add Mul 5.00067115040168 Mul acoth x0 -0.523598775598299 -1 Mul Mul Mul x7 -4 log Mul x7 -4 Mul 5.00067115040168 Mul -0.523598775598299 Pow Add 1 Mul -1 Mul x0 x0 -1 