Have the reading from rules file figured out.
need to encode the derivative rules, and then write the ddx function