| Date: | Wednesday, March 9th, 2022 |
|---|---|
| Commit: | 31c460f2 on inf-ordinary |
| Hostname: | warfa with Racket 8.1 |
| Seed: | 2022068 |
| 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: 1.8hr)
| 10.4min | 3633930× | body | 128 | valid |
| 5.7min | 270740× | body | 1024 | valid |
| 4.9min | 40087× | body | 8192 | exit |
| 2.6min | 84669× | body | 2048 | valid |
| 2.0min | 14890× | body | 4096 | valid |
| 1.7min | 145079× | body | 512 | valid |
| 56.0s | 218486× | body | 128 | invalid |
| 44.4s | 100654× | body | 256 | valid |
| 42.0s | 1977× | body | 8192 | valid |
| 24.7s | 20107× | body | 1024 | invalid |
| 8.8s | 10826× | body | 512 | invalid |
| 4.9s | 5753× | body | 2048 | invalid |
| 3.0s | 5643× | body | 256 | invalid |
| 16.0ms | 3× | body | 8192 | invalid |
| 6.0ms | 12× | body | 4096 | invalid |
Compiled 32080 to 22036 computations (31.3% saved)
3489 calls:
| 1.7min | (-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)) |
| 1.1min | (*.f64 (cbrt.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)) (cbrt.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1))) |
| 42.8s | (/.f32 (*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (pow.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) 3) (pow.f32 (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux))) 3)))) (sqrt.f32 (+.f32 (*.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux))) (+.f32 (*.f32 (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux))) (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux)))) (*.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux)))))))) |
| 20.3s | (*.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y))))) (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log1p.f64 (neg.f64 y)))))) |
| 18.4s | (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))) |
Compiled 9958854 to 6513515 computations (34.6% saved)
Compiled 18018859 to 9627990 computations (46.6% saved)
| 2545× | egg-herbie |
| 771512× | fma-def_binary64 |
| 656494× | fma-neg_binary64 |
| 373188× | times-frac_binary64 |
| 333112× | distribute-rgt-in_binary64 |
| 331123× | associate-*l*_binary64 |
| 519× | search |
| 2× | random |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 88% | 12% | 0 |
| 35.6% | 52.4% | 12% | 1 |
| 40.6% | 46.8% | 12.6% | 2 |
| 48.3% | 38% | 13.7% | 3 |
| 52.9% | 32.8% | 14.3% | 4 |
| 57.5% | 27.8% | 14.6% | 5 |
| 60.5% | 24.3% | 15.1% | 6 |
| 63.2% | 20.8% | 16% | 7 |
| 64.4% | 19.1% | 16.4% | 8 |
| 66.2% | 16.9% | 16.9% | 9 |
| 67.2% | 15.4% | 17.4% | 10 |
| 68.8% | 13.5% | 17.8% | 11 |
| 69.5% | 12.5% | 18.1% | 12 |
| 70.6% | 10.9% | 18.5% | 13 |
| 70.9% | 10.5% | 18.6% | 14 |
Compiled 11605 to 8036 computations (30.8% saved)
Compiled 128258 to 80230 computations (37.4% saved)
| 1524× | rewrite-expression-head |
| 95614× | times-frac_binary64 |
| 93267× | *-un-lft-identity_binary64 |
| 84856× | add-sqr-sqrt_binary64 |
| 60032× | add-cube-cbrt_binary64 |
| 26332× | prod-diff_binary64 |
3487 calls:
| 4.2s | (*.f64 (*.f64 2 1789971/10000000000) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))) |
| 485.0ms | (*.f64 (*.f64 (cbrt.f64 (+.f64 x (/.f64 (/.f64 1 z) (/.f64 1 (-.f64 y x))))) (cbrt.f64 (+.f64 x (/.f64 (/.f64 1 z) (/.f64 1 (-.f64 y x)))))) (cbrt.f64 (+.f64 x (/.f64 (/.f64 1 z) (/.f64 1 (-.f64 y x)))))) |
| 368.0ms | (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) |
| 356.0ms | (*.f64 t (-.f64 (/.f64 y (-.f64 a z)) (/.f64 1 (/.f64 (-.f64 a z) z)))) |
| 278.0ms | (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))) |
Compiled 12288 to 10240 computations (16.7% saved)
Compiled 1114 to 789 computations (29.2% saved)
Loading profile data...