Add 1.82347658193698 Mul acot Pow x0 pi Pow Mul x0 x3 x0 
Add Mul Pow Mul x0 x3 x0 Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow x0 pi Pow x0 pi -1 Mul acot Pow x0 pi Mul Pow Mul x0 x3 Add x0 -1 Add Mul x0 x3 Mul Mul x0 x3 log Mul x0 x3 