Hallulujah, finally got the simplifying to work. Now just need to ignore
logs, and roots.