atan Add pi Add Mul x0 Pow Mul Add x0 -2 pi acot Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 x0 
Mul Add Add Pow Mul Add x0 -2 pi acot Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 Mul x0 Mul Pow Mul Add x0 -2 pi Add acot Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 -1 Add Mul acot Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 pi Mul Mul Mul Add x0 -2 pi log Mul Add x0 -2 pi Mul -1 Mul Add Pow Pow Add x4 x3 Pow pi 2 x0 Mul x0 Mul Pow Pow Add x4 x3 Pow pi 2 Add x0 -1 Mul Pow Add x4 x3 Pow pi 2 log Pow Add x4 x3 Pow pi 2 Pow Add 1 Mul Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 -1 1 Pow Add 1 Mul Add pi Add Mul x0 Pow Mul Add x0 -2 pi acot Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 x0 Add pi Add Mul x0 Pow Mul Add x0 -2 pi acot Mul x0 Pow Pow Add x4 x3 Pow pi 2 x0 x0 -1 