Pow Pow x4 Mul -3 x7 Mul sqrt acoth x0 x6 
Mul Pow Pow x4 Mul -3 x7 Add Mul sqrt acoth x0 x6 -1 Mul Mul Pow x4 Mul -3 x7 log Pow x4 Mul -3 x7 Mul x6 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 