Simlify descend
Add new rotate rule
Try being more strict

Stack overflow problems, needs more research.