DERIVATIVES (and better simplification and printing).