Pow Add 1 Add pi x0 Pow x0 acot Add pi pi 
Mul Pow Add 1 Add pi x0 Add Pow x0 acot Add pi pi -1 Add Pow x0 acot Add pi pi Mul Mul Add 1 Add pi x0 log Add 1 Add pi x0 Mul Pow x0 Add acot Add pi pi -1 acot Add pi pi 