order [adds, times2]: ADD   order [times2, adds]: MUL   same node: False
both together: more than 100 rewrite steps; busiest rules: [('double as add', 50), ('add as double', 49)]
