2094 calls:
| 1.2s | (sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*)))))))) |
| 803.0ms | (sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3)))))))) |
| 745.0ms | (sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* (* Om Om) (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l l)) (- (* U U) (* U* U*)))))))) |
| 660.0ms | (sqrt (* 2 (* (* U n) (- (* (- (pow t 3) (pow (* (/ (* l l) Om) 2) 3)) (* Om Om)) (* (+ (* t t) (+ (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2)) (* t (* (/ (* l l) Om) 2)))) (* (* n (* l l)) (- U U*))))))) |
| 632.0ms | (sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*)))))))) |
| 12× | intervals |
| 51.1s | 32859× | body | 10240 | exit |
| 7.3s | 3461× | body | 2560 | valid |
| 5.4s | 36696× | body | 80 | nan |
| 5.3s | 37299× | body | 80 | valid |
| 5.0s | 4971× | body | 1280 | valid |
| 2.2s | 2922× | body | 640 | valid |
| 688.0ms | 1468× | body | 320 | valid |
| 330.0ms | 8256× | pre | 80 | true |
| 181.0ms | 730× | body | 160 | valid |
| 35.0ms | 18× | body | 5120 | valid |
| 20.0ms | 8× | body | 5120 | nan |
| 15.0ms | 10× | body | 2560 | nan |
| 5.0ms | 6× | body | 1280 | nan |
| 4.0ms | 8× | body | 640 | nan |
| 3.0ms | 7× | body | 320 | nan |
| 2.0ms | 7× | body | 160 | nan |
43 calls:
| 2.1s | (sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))) |
| 1.7s | (sqrt (* 2 (+ (* (* U n) t) (* (* U (- (/ (* -2 l) (/ Om l)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))) n)))) |
| 1.5s | (sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))) |
| 1.4s | (sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))) |
| 531.0ms | (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) |
Total 7.9b remaining (4.3%)
| 7.3b | -3.4% | Toniolo and Linder, Equation (13) |
| 0.4b | 0% | Random Jason Timeout Test 012 |
| 0.2b | 0% | Random Jason Timeout Test 004 |
| 15× | rewrite-expression-head |
43 calls:
| 153.0ms | (sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))) |
| 107.0ms | (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) |
| 98.0ms | (sqrt (* 2 (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))) |
| 89.0ms | (* (* n (* (/ l Om) (/ l Om))) (- U U*)) |
| 73.0ms | (* (* U n) (- (- t (* (* l (/ l Om)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) |
| 3860× | times-frac |
| 1804× | add-sqr-sqrt |
| 1730× | *-un-lft-identity |
| 1698× | add-cube-cbrt |
| 1171× | associate-*l* |
| 348× | associate-*r/ |
| 210× | add-exp-log |
| 206× | div-inv |
| 205× | add-cbrt-cube |
| 174× | pow1 |
| 117× | flip3-- flip-- |
| 113× | frac-sub |
| 105× | frac-times |
| 69× | associate-*l/ |
| 66× | prod-exp |
| 65× | cbrt-unprod |
| 62× | sqrt-div |
| 55× | pow-prod-down |
| 51× | div-exp cbrt-undiv |
| 47× | sqrt-pow1 log-pow |
| 44× | add-log-exp |
| 43× | insert-posit16 |
| 39× | associate-*r* |
| 34× | associate-/r* |
| 32× | associate-/r/ |
| 31× | pow1/2 sqrt-prod |
| 27× | exp-prod |
| 22× | sub-neg distribute-lft-in distribute-rgt-in |
| 20× | log-prod unswap-sqr |
| 16× | difference-of-squares distribute-lft-out-- |
| 15× | pow-prod-up |
| 12× | associate--l+ associate-/l* |
| 10× | *-commutative |
| 9× | pow-sqr |
| 8× | swap-sqr |
| 6× | rem-log-exp |
| 4× | frac-2neg clear-num |
| 3× | pow2 pow-plus |
| 2× | associate-/l/ acos-asin |
| 1× | div-sub sub-div rem-square-sqrt exp-sum exp-to-pow rem-exp-log rem-sqrt-square sqrt-unprod flip-+ flip3-+ |