Mul Add Add Pow atan x0 Mul x0 pi Mul Add x0 Add 5 x1 Add acoth x2 x7 3 atanh E 
Mul atanh E Add Mul Pow atan x0 Add Mul x0 pi -1 Add Mul Mul x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 pi Add acoth x2 x7 