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