Mul Pow Add -2 Add 2 x0 Mul sqrt Mul exp x0 -2 acoth x0 cbrt Pow x1 x7 
Mul cbrt Pow x1 x7 Mul Pow Add -2 Add 2 x0 Add Mul sqrt Mul exp x0 -2 acoth x0 -1 Add Mul sqrt Mul exp x0 -2 acoth x0 Mul Mul Add -2 Add 2 x0 log Add -2 Add 2 x0 Add Mul acoth x0 Mul Pow Mul 2 sqrt Mul exp x0 -2 -1 Mul -2 exp x0 Mul sqrt Mul exp x0 -2 Pow Add 1 Mul -1 Mul x0 x0 -1 