Differentiation of power functions is implemented.
Test.