Update differentiate.rkt