symbolic differentiation example
extended the differentiator to handle exponentiation rules (and it appears to be working, amazingly).