| 21× | intervals |
| 1.3m | 38373× | body | 10240 | exit |
| 15.1s | 7462× | body | 1280 | valid |
| 11.9s | 56666× | body | 80 | valid |
| 11.3s | 57470× | body | 80 | nan |
| 8.6s | 3509× | body | 2560 | valid |
| 5.2s | 4498× | body | 640 | valid |
| 1.6s | 2303× | body | 320 | valid |
| 898.0ms | 1167× | body | 160 | valid |
| 328.0ms | 8356× | pre | 80 | true |
| 71.0ms | 24× | body | 5120 | valid |
| 34.0ms | 37× | body | 2560 | nan |
| 17.0ms | 6× | body | 5120 | nan |
| 17.0ms | 24× | body | 1280 | nan |
| 5.0ms | 13× | body | 640 | nan |
| 2.0ms | 8× | body | 320 | nan |
| 2.0ms | 8× | body | 160 | nan |
97 calls:
| 2.1s | (sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n))))))))) |
| 967.0ms | (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))) |
| 650.0ms | (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))) |
| 622.0ms | (pow (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))) (/ 1/2 2)) |
| 619.0ms | (pow (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))) (/ 1/2 2)) |
Total 8.7b remaining (4%)
Threshold costs 0.7b (0.3%)
| 5.9b | 30.9% | Toniolo and Linder, Equation (13) |
| 2.1b | 0% | Random Jason Timeout Test 006 |
| 0.4b | 0% | Random Jason Timeout Test 012 |
| 0.2b | 0% | Random Jason Timeout Test 004 |
| 0.0b | 0% | Random Jason Timeout Test 003 |
| 29× | rewrite-expression-head |
97 calls:
| 144.0ms | (+ (* (pow c 5) 1/120) (+ (* (* 1/6 (* c c)) c) c)) |
| 125.0ms | (+ (* (pow c 5) 1/120) (+ (* (* 1/6 (* c c)) c) c)) |
| 68.0ms | (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))) |
| 60.0ms | (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))) |
| 58.0ms | (* (* 1/6 (* c c)) c) |
| 550× | add-sqr-sqrt |
| 485× | *-un-lft-identity |
| 472× | times-frac |
| 445× | add-cube-cbrt |
| 430× | pow1 |
| 342× | add-exp-log |
| 246× | add-cbrt-cube |
| 166× | pow-unpow |
| 163× | sqrt-prod |
| 134× | prod-exp |
| 132× | pow-prod-down |
| 125× | associate-*r* |
| 107× | add-log-exp |
| 97× | insert-posit16 |
| 92× | unpow-prod-down |
| 82× | cbrt-unprod |
| 58× | pow-pow |
| 53× | sqrt-pow1 |
| 45× | associate-*l* |
| 42× | pow-exp |
| 40× | distribute-lft-in distribute-rgt-in |
| 35× | pow1/2 |
| 31× | pow-prod-up pow-plus associate-/r* |
| 30× | rem-sqrt-square div-inv log-prod |
| 28× | sub-neg |
| 26× | associate-*r/ |
| 24× | log-pow |
| 22× | sqr-pow |
| 20× | distribute-lft-out-- unswap-sqr difference-of-squares |
| 19× | unpow-prod-up *-commutative |
| 16× | exp-prod pow-to-exp |
| 13× | div-exp cbrt-undiv |
| 12× | flip3-- flip-- |
| 11× | pow-sqr pow2 associate-/l* |
| 8× | pow-sub |
| 6× | rem-log-exp sum-log pow3 associate-/r/ sqrt-pow2 |
| 4× | sqrt-div frac-times associate-*l/ |
| 3× | exp-sum frac-2neg clear-num swap-sqr |
| 2× | sinh-def associate-/l/ flip3-+ associate-+r+ acos-asin +-commutative flip-+ e-exp-1 cbrt-prod |
| 1× | div-sub rem-exp-log pow1/3 unpow1/2 rem-cbrt-cube |