sqrt Mul Pow E atan x0 Add Add Mul Add x0 4 x0 E 3 
Mul Pow Mul 2 sqrt Mul Pow E atan x0 Add Add Mul Add x0 4 x0 E 3 -1 Add Mul Add Add Mul Add x0 4 x0 E 3 Mul Pow E Add atan x0 -1 Mul Mul E log E Pow Add 1 Mul x0 x0 -1 Mul Pow E atan x0 Add x0 Add x0 4 