Mul Pow atan Mul x0 Mul E -2 atan x0 Add x0 2 
Add Mul Add x0 2 Mul Pow atan Mul x0 Mul E -2 Add atan x0 -1 Add Mul atan x0 Mul Mul E -2 Pow Add 1 Mul Mul x0 Mul E -2 Mul x0 Mul E -2 -1 Mul Mul atan Mul x0 Mul E -2 log atan Mul x0 Mul E -2 Pow Add 1 Mul x0 x0 -1 Pow atan Mul x0 Mul E -2 atan x0 