Basic differentiation
Finished differentiation, basic simplification