Add tests for power simplification

These fail in master, but pass in this branch.