Pow x0 Add Mul asec Mul -5 E -5 Mul x0 Pow atan Mul 4 x0 pi 
Mul Pow x0 Add Add Mul asec Mul -5 E -5 Mul x0 Pow atan Mul 4 x0 pi -1 Add Add Mul asec Mul -5 E -5 Mul x0 Pow atan Mul 4 x0 pi Mul Mul x0 log x0 Add Pow atan Mul 4 x0 pi Mul x0 Mul Pow atan Mul 4 x0 Add pi -1 Mul pi Mul 4 Pow Add 1 Mul Mul 4 x0 Mul 4 x0 -1 