Add 1 Pow x0 acot sqrt Pow x0 pi 
Mul Pow x0 Add acot sqrt Pow x0 pi -1 Add acot sqrt Pow x0 pi Mul Mul x0 log x0 Mul -1 Mul Mul Pow Mul 2 sqrt Pow x0 pi -1 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul sqrt Pow x0 pi sqrt Pow x0 pi -1 