Simplify x*4x