Mul Mul Pow Add x0 E Mul x0 acoth x5 Mul -3 Pow pi x0 Add E atan x0 
Add Mul Add E atan x0 Add Mul Mul -3 Pow pi x0 Mul Pow Add x0 E Add Mul x0 acoth x5 -1 Add Mul x0 acoth x5 Mul Mul Add x0 E log Add x0 E acoth x5 Mul Pow Add x0 E Mul x0 acoth x5 Mul -3 Mul Pow pi Add x0 -1 Mul pi log pi Mul Mul Pow Add x0 E Mul x0 acoth x5 Mul -3 Pow pi x0 Pow Add 1 Mul x0 x0 -1 