- sin is_differentiable_on REAL