Symbolic derivatives
More information about this example
List of Survo examples