Add Mul Pow Mul x0 x0 -2 x4 Mul 4 Mul Pow atan x6 Mul acoth Mul x2 x7 Mul -5 x0 -1 
Add Mul x4 Mul Pow Mul x0 x0 3 Mul -2 Add x0 x0 Mul 4 Mul -1 Mul Pow atan x6 Add Mul acoth Mul x2 x7 Mul -5 x0 -1 Mul Mul atan x6 log atan x6 Mul acoth Mul x2 x7 -5 