Add Mul atan x0 0.252680255142079 Mul Pow x0 Add x0 Mul x0 x3 Mul E Add Mul Add x2 x0 x0 pi 
Add Mul 0.252680255142079 Pow Add 1 Mul x0 x0 -1 Add Mul Mul E Add Mul Add x2 x0 x0 pi Mul Pow x0 Add Add x0 Mul x0 x3 -1 Add Add x0 Mul x0 x3 Mul Mul x0 log x0 Add 1 x3 Mul Pow x0 Add x0 Mul x0 x3 Mul E Add x0 Add x2 x0 