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