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