| Date: | Friday, December 10th, 2021 |
|---|---|
| Commit: | 7b047838 on unify-sample-ground-truth |
| Hostname: | warfa with Racket 8.1 |
| Seed: | 2021344 |
| 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: 2.7min)
| 27.7s | 16403× | body | 8192 | exit |
| 12.4s | 17071× | body | 1024 | valid |
| 10.8s | 79472× | body | 128 | valid |
| 3.3s | 6892× | body | 512 | valid |
| 3.0s | 5111× | body | 1024 | invalid |
| 1.1s | 2568× | body | 512 | invalid |
| 1.0s | 807× | body | 2048 | valid |
| 1.0s | 3086× | body | 256 | valid |
| 332.0ms | 1286× | body | 256 | invalid |
| 144.0ms | 935× | body | 128 | invalid |
| 5.0ms | 5× | body | 2048 | invalid |
Compiled 339 to 240 computations (29.2% saved)
| 13× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 76.9% | 23.1% | 0 |
| 0% | 76.9% | 23.1% | 1 |
| 0% | 76.9% | 23.1% | 2 |
| 0% | 76.9% | 23.1% | 3 |
| 0% | 76.9% | 23.1% | 4 |
| 0% | 76.9% | 23.1% | 5 |
| 0% | 76.9% | 23.1% | 6 |
| 0.2% | 76.6% | 23.1% | 7 |
| 0.3% | 76.6% | 23.1% | 8 |
| 0.7% | 76.2% | 23.1% | 9 |
| 1% | 75.8% | 23.2% | 10 |
| 1.6% | 75.1% | 23.2% | 11 |
| 1.8% | 75% | 23.2% | 12 |
| 2.2% | 74.6% | 23.2% | 13 |
| 2.7% | 74% | 23.3% | 14 |
Compiled 211 to 152 computations (28% saved)
98 calls:
| 2.3s | (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 l (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w)))) |
| 2.3s | (pow.f64 (pow.f64 (pow.f64 l (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))) |
| 1.6s | (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) |
| 1.4s | (pow.f64 (pow.f64 l (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) |
| 1.0s | (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 c (fabs.f64 (*.f64 s x)))) |
Compiled 296669 to 165616 computations (44.2% saved)
Compiled 255057 to 87068 computations (65.9% saved)
| 71× | egg-herbie |
| 22843× | fma-def_binary64 |
| 13645× | unswap-sqr_binary64 |
| 11947× | sqr-pow_binary64 |
| 11037× | fma-neg_binary64 |
| 10338× | associate-*l*_binary64 |
Compiled 3538 to 1769 computations (50% saved)
| 45× | rewrite-expression-head |
| 2044× | add-sqr-sqrt_binary64 |
| 1863× | times-frac_binary64 |
| 1713× | *-un-lft-identity_binary64 |
| 1502× | add-cube-cbrt_binary64 |
| 747× | prod-diff_binary64 |
98 calls:
| 52.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))) |
| 38.0ms | (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)) |
| 27.0ms | (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) |
| 27.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) |
| 27.0ms | (/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))) |
Compiled 32 to 23 computations (28.1% saved)
Loading profile data...