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