| 6× | intervals |
| 1.4s | 2870× | body | 2560 | valid |
| 1.1s | 7524× | body | 1280 | valid |
| 440.0ms | 4281× | body | 640 | valid |
| 404.0ms | 1868× | body | 320 | valid |
| 324.0ms | 9991× | body | 80 | valid |
| 56.0ms | 874× | body | 160 | valid |
1 calls:
| 57.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 |