Mul asech Mul acot Add x0 Add x0 pi Mul x0 Pow x2 x0 Mul Mul -4 x0 4 
Mul Mul Mul -4 x0 4 Mul Add Mul Mul x0 Pow x2 x0 Mul -1 Mul 2 Pow Add 1 Mul Add x0 Add x0 pi Add x0 Add x0 pi -1 Mul acot Add x0 Add x0 pi Add Pow x2 x0 Mul x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Mul Mul Mul acot Add x0 Add x0 pi Mul x0 Pow x2 x0 Mul acot Add x0 Add x0 pi Mul x0 Pow x2 x0 sqrt Add 1 Mul -1 Pow Mul Mul acot Add x0 Add x0 pi Mul x0 Pow x2 x0 Mul acot Add x0 Add x0 pi Mul x0 Pow x2 x0 -1 -1 