exp Add E Add -0.125000000000000 atan Mul Add Mul x1 x0 pi Add x0 Add 5 x1 
Mul exp Add E Add -0.125000000000000 atan Mul Add Mul x1 x0 pi Add x0 Add 5 x1 Mul Add Mul Add x0 Add 5 x1 x1 Add Mul x1 x0 pi Pow Add 1 Mul Mul Add Mul x1 x0 pi Add x0 Add 5 x1 Mul Add Mul x1 x0 pi Add x0 Add 5 x1 -1 