Differentiation of power functions