acos Mul Pow sqrt x0 Add E atan x0 Pow x0 pi 
Mul -1 Mul Add Mul Pow x0 pi Mul Pow sqrt x0 Add Add E atan x0 -1 Add Mul Add E atan x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Pow Add 1 Mul x0 x0 -1 Mul Pow sqrt x0 Add E atan x0 Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Mul Pow sqrt x0 Add E atan x0 Pow x0 pi Mul Pow sqrt x0 Add E atan x0 Pow x0 pi -1 