Inverse Derivative Rules