Pow atan x0 exp Add Pow x0 pi E 
Mul Pow atan x0 Add exp Add Pow x0 pi E -1 Add Mul exp Add Pow x0 pi E Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul exp Add Pow x0 pi E Mul Pow x0 Add pi -1 pi 