power rule for symbolic differentiation