Power rule (with rewriting the expression)