Mul x0 Mul Mul x4 x0 exp Mul Mul Mul x0 x7 acoth x6 -2 
Add Mul Mul x4 x0 exp Mul Mul Mul x0 x7 acoth x6 -2 Mul x0 Add Mul exp Mul Mul Mul x0 x7 acoth x6 -2 x4 Mul Mul x4 x0 Mul exp Mul Mul Mul x0 x7 acoth x6 -2 Mul -2 Mul acoth x6 x7 