See: →#.math←
     →Differentiation←
     →Expression_simplification←