edits symbolic-differentiation