sqrt(−72−17*x)=− x over the reals