arctan is_differentiable_on ].(- 1),1.[