Assertion list for term "derive equation".

Results from Ascent++: 1
aim CapableOfderive equation 0.28