Pow Mul x7 Mul 2 Pow Add Mul Mul x0 5 Pow x0 acoth x5 x0 4 Mul Mul -3 x0 4 
Mul Pow Mul x7 Mul 2 Pow Add Mul Mul x0 5 Pow x0 acoth x5 x0 4 Add Mul Mul -3 x0 4 -1 Add Mul Mul Mul -3 x0 4 Mul x7 Mul 2 Mul Pow Add Mul Mul x0 5 Pow x0 acoth x5 x0 3 Mul 4 Add Add Mul Pow x0 acoth x5 5 Mul Mul x0 5 Mul Pow x0 Add acoth x5 -1 acoth x5 1 Mul Mul x7 Mul 2 Pow Add Mul Mul x0 5 Pow x0 acoth x5 x0 4 log Mul x7 Mul 2 Pow Add Mul Mul x0 5 Pow x0 acoth x5 x0 4 