| 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: 51.9s)
| 9.4s | 70170× | body | 128 | valid |
| 7.3s | 11327× | body | 8192 | exit |
| 1.9s | 4134× | body | 2048 | valid |
| 345.0ms | 1818× | body | 128 | invalid |
Compiled 313 to 211 computations (32.6% saved)
| 9× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 94.4% | 5.6% | 2 |
| 0% | 88.8% | 11.2% | 3 |
| 2.8% | 83.2% | 14% | 4 |
| 4.2% | 80.5% | 15.4% | 5 |
| 4.9% | 79.1% | 16.1% | 6 |
| 5.2% | 77% | 17.8% | 7 |
| 5.4% | 76.7% | 18% | 8 |
| 5.4% | 76% | 18.6% | 9 |
| 5.4% | 75% | 19.7% | 10 |
| 5.4% | 74.7% | 19.9% | 11 |
| 5.7% | 73.7% | 20.6% | 12 |
| 5.9% | 73% | 21.1% | 13 |
| 5.9% | 72.7% | 21.4% | 14 |
Compiled 161 to 110 computations (31.7% saved)
Compiled 185726 to 104421 computations (43.8% saved)
Compiled 55412 to 37489 computations (32.3% saved)
46 calls:
| 689.0ms | (*.f64 (cbrt.f64 (/.f64 x y)) z) |
| 681.0ms | (*.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) |
| 420.0ms | (cbrt.f64 (/.f64 x y)) |
| 284.0ms | (/.f64 2 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) c)) |
| 272.0ms | (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) |
| 39× | egg-herbie |
| 12551× | fma-neg_binary64 |
| 12441× | fma-def_binary64 |
| 6160× | times-frac_binary64 |
| 6070× | associate-/l*_binary64 |
| 5207× | distribute-rgt-in_binary64 |
Compiled 2041 to 1297 computations (36.5% saved)
| 21× | rewrite-expression-head |
| 793× | add-sqr-sqrt_binary64 |
| 765× | *-un-lft-identity_binary64 |
| 667× | times-frac_binary64 |
| 561× | add-cube-cbrt_binary64 |
| 214× | sqrt-prod_binary64 |
46 calls:
| 19.0ms | (-.f64 (/.f64 1 (/.f64 y (+.f64 x 4))) (*.f64 (/.f64 x y) z)) |
| 19.0ms | (*.f64 2 (+.f64 (pow.f64 (/.f64 f n) 3) (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n)))) |
| 19.0ms | (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) |
| 17.0ms | (+.f64 (pow.f64 (/.f64 f n) 3) (*.f64 (+.f64 (/.f64 f n) 1) (/.f64 f n))) |
| 15.0ms | (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))) (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x)))) |
Compiled 12288 to 10240 computations (16.7% saved)
Compiled 45 to 29 computations (35.6% saved)
Loading profile data...