acot Pow pi Mul x0 Add -4 Add Mul pi acos x0 x0 
Mul -1 Mul Mul Pow pi Add Mul x0 Add -4 Add Mul pi acos x0 x0 -1 Mul Mul pi log pi Add Add -4 Add Mul pi acos x0 x0 Mul x0 Add Mul pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul Pow pi Mul x0 Add -4 Add Mul pi acos x0 x0 Pow pi Mul x0 Add -4 Add Mul pi acos x0 x0 -1 