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