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