Pow Pow x2 Add x0 Pow x0 x3 Mul x0 Mul x4 Mul x0 acoth x7 
Mul Pow Pow x2 Add x0 Pow x0 x3 Add Mul x0 Mul x4 Mul x0 acoth x7 -1 Add Mul Mul x0 Mul x4 Mul x0 acoth x7 Mul Pow x2 Add Add x0 Pow x0 x3 -1 Mul Mul x2 log x2 Add 1 Mul Pow x0 Add x3 -1 x3 Mul Mul Pow x2 Add x0 Pow x0 x3 log Pow x2 Add x0 Pow x0 x3 Add Mul x4 Mul x0 acoth x7 Mul x0 Mul x4 acoth x7 