unsimplified (simplified + un-; negation)
Not simplified