How Do We Choose Simplified Forms?

Guess a suitable set (small)

Apply all operators, try to simplify back to the chosen forms

If you fail, add new forms to the set and repeat!

First stab

return x

failure

lift a has no

simplified form

Föregående bild Nästa bild Tillbaka till första bilden Visa grafisk version