The derivative of arctan (formula with example)