Non-Redundant Derivative