Added new differentiation rules

Added differentiation rules for sqrt, sinh
cosh, tanh, log10.
Improved tree simplification.