| 12× | intervals |
| 52.6s | 32377× | body | 10240 | exit |
| 7.8s | 3440× | body | 2560 | valid |
| 5.7s | 37264× | body | 80 | valid |
| 5.4s | 37513× | body | 80 | nan |
| 5.2s | 4927× | body | 1280 | valid |
| 2.0s | 2973× | body | 640 | valid |
| 793.0ms | 8256× | pre | 80 | true |
| 676.0ms | 1444× | body | 320 | valid |
| 216.0ms | 687× | body | 160 | valid |
| 50.0ms | 27× | body | 5120 | valid |
| 28.0ms | 18× | body | 640 | nan |
| 10.0ms | 8× | body | 2560 | nan |
| 8.0ms | 3× | body | 5120 | nan |
| 5.0ms | 5× | body | 1280 | nan |
| 2.0ms | 7× | body | 160 | nan |
| 1.0ms | 3× | body | 320 | nan |
402 calls:
| 762.0ms | (* (* (* (* n U) (* n U)) (* n U)) (* (* (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) |
| 664.0ms | (* (* (* (* n U) (* n U)) (* n U)) (* (* (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))))) |
| 589.0ms | (* (* (* (* 2 (* U n)) (* 2 (* U n))) (* 2 (* U n))) (* (* (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) |
| 515.0ms | (sqrt (* (* 2 (* U n)) (- (pow (fma -2 (/ (* l l) Om) t) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3)))) |
| 498.0ms | (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))) |
42 calls:
| 1.5s | (sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) |
| 1.1s | (sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1)) |
| 875.0ms | (sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1)) |
| 848.0ms | (sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1)) |
| 384.0ms | (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) |
Total 9.4b remaining (5.2%)
| 9.0b | 21.2% | Toniolo and Linder, Equation (13) |
| 0.2b | 0% | Random Jason Timeout Test 004 |
| 0.2b | 0% | Random Jason Timeout Test 012 |
| 15× | rewrite-expression-head |
42 calls:
| 26.0ms | (* (* (/ l Om) (* (/ l Om) (- U U*))) n) |
| 24.0ms | (* (* (/ l Om) (* (/ l Om) (- U U*))) n) |
| 24.0ms | (* (* (* (/ l Om) (/ l Om)) (- U U*)) n) |
| 22.0ms | (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) |
| 21.0ms | (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) |
| 78× | associate-*r/ |
| 74× | add-sqr-sqrt |
| 71× | *-un-lft-identity add-cube-cbrt |
| 65× | associate-*l/ |
| 64× | pow1 |
| 63× | add-exp-log |
| 61× | add-cbrt-cube |
| 49× | frac-times |
| 42× | add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u |
| 34× | distribute-lft-in distribute-rgt-in |
| 31× | flip3-- flip-- |
| 18× | associate-*r* |
| 16× | sqrt-prod associate-*l* |
| 15× | log-prod |
| 14× | log-pow |
| 13× | exp-prod |
| 11× | *-commutative |
| 10× | sub-neg |
| 9× | pow-prod-down cbrt-unprod prod-exp times-frac |
| 6× | frac-add prod-diff |
| 4× | rem-log-exp pow1/2 div-inv associate-/l* |
| 3× | unpow-prod-down exp-sum rem-sqrt-square associate-/r* acos-asin flip-+ flip3-+ |
| 2× | sqrt-div frac-2neg associate-/r/ fma-udef clear-num associate--l+ associate-/l/ |
| 1× | div-sub cbrt-undiv div-exp rem-exp-log |