Simplify x*x1/2