x+0*sqrt(-x)