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