User blog comment:Hyp cos/tree function and TREE(3)/@comment-5529393-20140625064232/@comment-5529393-20140625102356

Nice update, but you didn't use the second part of my improvement, which was to go to ([(())][(())](...)), and then reduce the (...), before going to ([(())][](...)). You don't use any trees with [(())][(())], and I don't think any earlier trees embed into it, so you should definitely incorporate that.