Pow Mul x0 Add 2 Mul Add acoth x0 x0 Pow x7 Add Mul x0 x1 x7 Pow x3 E 
Mul Pow Mul x0 Add 2 Mul Add acoth x0 x0 Pow x7 Add Mul x0 x1 x7 Add Pow x3 E -1 Mul Pow x3 E Add Add 2 Mul Add acoth x0 x0 Pow x7 Add Mul x0 x1 x7 Mul x0 Add Mul Pow x7 Add Mul x0 x1 x7 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add acoth x0 x0 Mul Pow x7 Add Add Mul x0 x1 x7 -1 Mul Mul x7 log x7 x1 