Pow 0.866025403784439 Mul Pow Add acot sqrt x1 x0 Pow x0 pi Add Add x0 x0 x0 
Mul Pow 0.866025403784439 Add Mul Pow Add acot sqrt x1 x0 Pow x0 pi Add Add x0 x0 x0 -1 Mul 0.722184367558548 Add Mul Add Add x0 x0 x0 Mul Pow Add acot sqrt x1 x0 Add Pow x0 pi -1 Add Pow x0 pi Mul Mul Add acot sqrt x1 x0 log Add acot sqrt x1 x0 Mul Pow x0 Add pi -1 pi Mul Pow Add acot sqrt x1 x0 Pow x0 pi 3 