Simplify x*3x