deriv() now simplifies expressions