| Date: | Tuesday, March 29th, 2022 |
|---|---|
| Commit: | 775559b9 on main |
| Hostname: | warfa with Racket 8.1 |
| Seed: | 2022088 |
| Parameters: | 256 points for 4 iterations |
| Flags: | precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify default |
Time bar (total: 6.2min)
| 34.0s | 182715× | body | 128 | valid |
| 30.6s | 34109× | body | 1024 | valid |
| 14.7s | 72079× | body | 128 | invalid |
| 9.6s | 15934× | body | 512 | valid |
| 9.2s | 11178× | body | 2048 | valid |
| 8.3s | 11029× | body | 1024 | invalid |
| 4.9s | 1335× | body | 4096 | invalid |
| 4.1s | 3093× | body | 4096 | valid |
| 3.3s | 7756× | body | 256 | valid |
| 3.3s | 6185× | body | 512 | invalid |
| 2.9s | 1204× | body | 2048 | invalid |
| 1.4s | 1151× | body | 8192 | valid |
| 1.3s | 3157× | body | 256 | invalid |
| 11.0ms | 11× | body | 8192 | exit |
Compiled 2496 to 1776 computations (28.8% saved)
Compiled 1254722 to 876400 computations (30.2% saved)
320 calls:
| 2.6s | (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 (*.f64 (cbrt.f64 h) (cbrt.f64 h)) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) |
| 2.5s | (log1p.f64 (*.f64 (sin.f64 ky) (/.f64 (sin.f64 th) (hypot.f64 (sin.f64 kx) (sin.f64 ky))))) |
| 2.5s | (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 (*.f64 (cbrt.f64 h) (cbrt.f64 h)) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) |
| 2.2s | (pow.f64 (E.f64) (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))) |
| 1.8s | (exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))) |
| 31× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 98.2% | 1.8% | 0 |
| 3.2% | 95% | 1.8% | 1 |
| 4% | 92.6% | 3.4% | 2 |
| 5.6% | 86.9% | 7.4% | 3 |
| 7.4% | 83.1% | 9.5% | 4 |
| 11.1% | 79.3% | 9.7% | 5 |
| 13.8% | 75.1% | 11.2% | 6 |
| 15.9% | 70.3% | 13.7% | 7 |
| 18.2% | 65.5% | 16.3% | 8 |
| 22.1% | 59.6% | 18.3% | 9 |
| 23.8% | 55.9% | 20.2% | 10 |
| 26.5% | 51.8% | 21.7% | 11 |
| 27.8% | 49.1% | 23.1% | 12 |
| 29.7% | 44% | 26.3% | 13 |
| 30.8% | 42.3% | 27% | 14 |
Compiled 845 to 604 computations (28.5% saved)
Compiled 1422395 to 773650 computations (45.6% saved)
| 177× | egg-herbie |
| 63304× | fma-def_binary64 |
| 36495× | fma-neg_binary64 |
| 33485× | times-frac_binary64 |
| 31486× | associate-*l*_binary64 |
| 28429× | associate-*r*_binary64 |
Compiled 13944 to 8885 computations (36.3% saved)
| 115× | rewrite-expression-head |
| 8096× | add-exp-log_binary64 |
| 4891× | times-frac_binary64 |
| 4560× | prod-exp_binary64 |
| 4469× | add-sqr-sqrt_binary64 |
| 4096× | add-cbrt-cube_binary64 |
320 calls:
| 65.0ms | (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) |
| 43.0ms | (*.f64 (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (*.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) (/.f64 (*.f64 (cbrt.f64 h) (cbrt.f64 h)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (/.f64 (cbrt.f64 h) (cbrt.f64 l))) |
| 39.0ms | (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))) |
| 37.0ms | (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) x))) |
| 36.0ms | (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 d 2)) 2) (*.f64 (/.f64 h l) -1/2) 1)) |
Compiled 176 to 109 computations (38.1% saved)
Loading profile data...