1861 calls:
| 951.0ms | (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))) |
| 753.0ms | (sqrt (* (* (* 2 n) U) (- (* (- (* t t) (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om)))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3))))))) |
| 646.0ms | (sqrt (* (* (* 2 n) U) (- (* (- (* t t) (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om)))) (+ U U*)) (* (+ t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*))))))) |
| 621.0ms | (exp (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 608.0ms | (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) |
| 11× | intervals |
| 48.9s | 31678× | body | 10240 | exit |
| 7.7s | 3515× | body | 2560 | valid |
| 4.6s | 4911× | body | 1280 | valid |
| 3.3s | 28070× | body | 80 | valid |
| 2.7s | 22581× | body | 80 | nan |
| 1.8s | 2871× | body | 640 | valid |
| 567.0ms | 1465× | body | 320 | valid |
| 350.0ms | 8256× | pre | 80 | true |
| 198.0ms | 768× | body | 160 | valid |
| 22.0ms | 15× | body | 5120 | valid |
| 12.0ms | 10× | body | 2560 | nan |
| 11.0ms | 13× | body | 1280 | nan |
| 10.0ms | 4× | body | 5120 | nan |
| 5.0ms | 13× | body | 320 | nan |
| 5.0ms | 9× | body | 640 | nan |
| 2.0ms | 8× | body | 160 | nan |
44 calls:
| 1.4s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 1.2s | (sqrt (* (* (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))) (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))) (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))) |
| 1.1s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 1.1s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))) |
| 595.0ms | (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))) |
| 15× | rewrite-expression-head |
44 calls:
| 320.0ms | (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) |
| 284.0ms | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))) |
| 232.0ms | (sqrt (* (* (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))) (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))) (cbrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))))) |
| 210.0ms | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 95.0ms | (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))) |
| 8406× | associate-*r/ |
| 6120× | cbrt-div |
| 5938× | frac-times |
| 5146× | flip3-- flip-- |
| 5136× | frac-sub |
| 2220× | sqrt-div |
| 1954× | times-frac |
| 1349× | associate-*l/ |
| 1005× | add-sqr-sqrt |
| 967× | *-un-lft-identity |
| 937× | add-cube-cbrt |
| 585× | associate-*l* |
| 153× | add-exp-log |
| 134× | pow1 |
| 124× | add-cbrt-cube |
| 105× | div-inv |
| 90× | prod-diff |
| 63× | distribute-rgt-in distribute-lft-in |
| 48× | prod-exp |
| 46× | expm1-log1p-u |
| 44× | pow-prod-down insert-posit16 log1p-expm1-u add-log-exp |
| 42× | associate-*r* |
| 33× | cbrt-unprod |
| 30× | associate--l+ |
| 27× | sqrt-pow1 |
| 24× | div-exp |
| 21× | cbrt-undiv unpow-prod-down associate-/r* |
| 18× | sub-neg |
| 17× | associate-/r/ |
| 15× | difference-of-squares log-prod distribute-lft-out-- |
| 12× | pow1/3 unswap-sqr |
| 9× | pow-prod-up associate-/l* pow-exp |
| 7× | pow-unpow *-commutative |
| 6× | remove-posit16 pow-plus |
| 5× | log-pow pow-to-exp |
| 4× | exp-prod pow1/2 sqr-pow sqrt-prod |
| 3× | rem-log-exp unpow-prod-up exp-sum frac-2neg acos-asin clear-num cbrt-prod pow-sqr |
| 2× | unpow2 associate-/l/ log1p-expm1 pow2 log1p-udef pow-pow |
| 1× | div-sub pow3 rem-exp-log e-exp-1 |
Total 0.7b remaining (0.4%)
Threshold costs 0.7b (0.4%)
| 0.4b | 76.6% | Random Jason Timeout Test 012 |
| 0.2b | 0% | Random Jason Timeout Test 004 |