y = tan⁻¹x
tany = x,两边取导数
sec²y * y' = 1
y' = 1/sec²y
y' = 1/(1 + tan²y)
y' = 1/(1 + x²)