Does the simplification rules in maxima fall into any typical AI model such as forward chaining or backward chaining? Thanks, Dan Stanger