When re-writing a factor containing a unary negation of a literal, only

affect nodes without another operator.  This was causing negated
exponentiations to drop the exponentiation.  This closes SF bug #456756.