Improved symbolic differentiation

Better simplification system
Improved handling of the power rule