add 2.0*x = x+x and x/c = x*(1.0/c) for some constants