Title: Learning differential equations through DERIVE