Derivative: monotonicity and extrema