Derivative Of Ex Proof Chain Rule