| 6× | intervals |
| 1.2s | 2967× | body | 2560 | valid |
| 1.1s | 7514× | body | 1280 | valid |
| 635.0ms | 4279× | body | 640 | valid |
| 271.0ms | 10122× | body | 80 | valid |
| 183.0ms | 1831× | body | 320 | valid |
| 34.0ms | 812× | body | 160 | valid |
1 calls:
| 60.0ms | (* (+ x 2) x) |
| 4× | rewrite-expression-head |
1 calls:
| 23.0ms | (* (+ x 2) x) |
| 5× | add-sqr-sqrt *-un-lft-identity |
| 4× | associate-*l* |
| 3× | pow1 add-cube-cbrt add-exp-log add-cbrt-cube associate-*r* |
| 2× | associate-*l/ |
| 1× | expm1-log1p-u flip-+ distribute-lft-out unswap-sqr log1p-expm1-u insert-posit16 pow-prod-down flip3-+ cbrt-unprod prod-exp add-log-exp *-commutative |