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