Updated `diff` of `pow` to evaluate case of `exp^x`

This is a special case. Once `log` is implemented, a more general
version of the case should be added, as specified in the comments.