Pow Add pi Pow Pow sec sqrt Pow x0 -1 pi Mul 3 acot Mul x0 x0 x3 
Mul Pow Add pi Pow Pow sec sqrt Pow x0 -1 pi Mul 3 acot Mul x0 x0 Add x3 -1 Mul x3 Mul Pow Pow sec sqrt Pow x0 -1 pi Add Mul 3 acot Mul x0 x0 -1 Add Mul Mul 3 acot Mul x0 x0 Mul Pow sec sqrt Pow x0 -1 Add pi -1 Mul pi Mul Mul tan sqrt Pow x0 -1 sec sqrt Pow x0 -1 Mul Pow Mul 2 sqrt Pow x0 -1 -1 Mul Pow x0 2 -1 Mul Mul Pow sec sqrt Pow x0 -1 pi log Pow sec sqrt Pow x0 -1 pi Mul 3 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 