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