Implement simplify(:(*(-1,x))) ==> -x