xplicit in the expressions of the electronic book, the data structure including an acyclic directed graph including a first node representing the first expression and a second node representing the second expression; performing a predetermined symbolic function on the second expression to produce a first resultant expression, the first resultant expression being mathematically equivalent to the se