Work on the even rotations.
Commenting out the reductions that aren't necessary.
This seems to be a complete set of reductions.
Adding some more negation simplifications.
Adding a few more missing reductions.
Still looking for missing reductions.
Adding some missing reductions.
Still working on the rotation reductions.
Adding some more missing transforms.
Filling some missing reductions. Not done yet I think.
