Pow x7 atan Mul Pow Mul x0 x0 acoth x0 E 
Mul Pow x7 Add atan Mul Pow Mul x0 x0 acoth x0 E -1 Mul Mul x7 log x7 Mul Mul E Mul Pow Mul x0 x0 Add acoth x0 -1 Add Mul acoth x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul Pow Mul x0 x0 acoth x0 E Mul Pow Mul x0 x0 acoth x0 E -1 