Derivative Of Arctan Proof Research