atan Mul Pow Mul x0 pi x6 Mul Mul x2 x0 4 
Mul Add Mul Mul Mul x2 x0 4 Mul Pow Mul x0 pi Add x6 -1 Mul x6 pi Mul Pow Mul x0 pi x6 Mul 4 x2 Pow Add 1 Mul Mul Pow Mul x0 pi x6 Mul Mul x2 x0 4 Mul Pow Mul x0 pi x6 Mul Mul x2 x0 4 -1 