is f(x) = sin^2(x) differentiable?