Mul Pow Add x2 Mul x0 pi Add acot x0 Add x0 pi atan x1 
Mul atan x1 Mul Pow Add x2 Mul x0 pi Add Add acot x0 Add x0 pi -1 Add Mul Add acot x0 Add x0 pi pi Mul Mul Add x2 Mul x0 pi log Add x2 Mul x0 pi Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 