first draft of the sections about solving and optimizing expressions