More tests for simplification.

Adapted from @adamhooper’s pull request. Fixes #89.