Herbie run
| Date: | Tuesday, October 24th, 2023 |
|---|---|
| Commit: | 4c861e3a on platforms |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023297 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 6.5min)
| 36.6s | 62595× | body | 1024 | valid |
| 32.2s | 33032× | body | 2048 | valid |
| 11.9s | 86995× | body | 256 | valid |
| 9.4s | 33023× | body | 512 | valid |
| 1.8s | 13091× | body | 256 | infinite |
| 1.4s | 2070× | body | 4096 | valid |
| 868.0ms | 1126× | body | 1024 | invalid |
| 721.0ms | 7430× | body | 256 | unsamplable |
| 622.0ms | 5263× | body | 256 | invalid |
| 221.0ms | 536× | body | 512 | invalid |
| 171.0ms | 457× | body | 1024 | unsamplable |
| 162.0ms | 172× | body | 1024 | infinite |
| 159.0ms | 286× | body | 2048 | unsamplable |
| 86.0ms | 186× | body | 512 | infinite |
| 65.0ms | 250× | body | 512 | unsamplable |
| 4.0ms | 4× | body | 2048 | invalid |
| 2.0ms | 3× | body | 2048 | infinite |
| 2.0ms | 1× | body | 8192 | valid |
| 139707× | fma-def |
| 97514× | *-commutative |
| 85137× | +-commutative |
| 70622× | distribute-lft-in |
| 59908× | associate-*l* |
| 2× | saturated |
| 2× | unsound |
| 248× | node limit |
Compiled 25572 to 15550 computations (39.2% saved)
Compiled 2644350 to 1483884 computations (43.9% saved)
Compiled 16336 to 8399 computations (48.6% saved)
| 124× | egg-herbie |
| 50465× | fma-def |
| 45651× | +-commutative |
| 45042× | *-commutative |
| 38174× | distribute-lft-in |
| 34215× | distribute-rgt-in |
| 6× | done |
| 1× | unsound |
| 28× | saturated |
| 22× | fuel |
| 95× | node limit |
Compiled 5191 to 3455 computations (33.4% saved)
Compiled 131519 to 86053 computations (34.6% saved)
| 288× | rewrite-once |
| 96× | batch-egg-rewrite |
| 33632× | fma-def |
| 32245× | flip-+ |
| 28477× | *-commutative |
| 22033× | fma-neg |
| 20543× | flip-- |
| 1× | unsound |
| 95× | node limit |
826 calls:
| 65.0ms | (*.f64 a (*.f64 b eps)) |
| 56.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) |
| 6.0ms | (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) |
| 4.0ms | (/.f64 (*.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x))) |
| 3.0ms | (*.f64 (sqrt.f64 (+.f64 (+.f64 1 x) (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (+.f64 1 x) (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) |
43 calls:
| 3.9s | x |
| 2.1s | eps |
| 1.5s | (/.f64 1 n) |
| 1.4s | a |
| 1.1s | c |
Compiled 62853 to 33979 computations (45.9% saved)
| 28× | egg-herbie |
| 30095× | fma-def |
| 9842× | fma-neg |
| 7403× | *-commutative |
| 7057× | distribute-lft-in |
| 6444× | +-commutative |
| 14× | saturated |
| 14× | node limit |
Compiled 13302 to 7682 computations (42.2% saved)
| 163× | binary-search |
| 56× | left-value |
| 162× | narrow-enough |
| 1× | predicate-same |
| 2.1s | 14943× | body | 256 | valid |
| 1.0s | 2465× | body | 1024 | valid |
| 571.0ms | 768× | body | 2048 | valid |
| 460.0ms | 1281× | body | 512 | valid |
| 299.0ms | 1718× | body | 256 | invalid |
| 170.0ms | 792× | body | 256 | infinite |
| 22.0ms | 44× | body | 512 | infinite |
| 8.0ms | 51× | body | 256 | unsamplable |
| 3.0ms | 9× | body | 4096 | valid |
| 1.0ms | 2× | body | 1024 | infinite |
| 1.0ms | 2× | body | 1024 | unsamplable |
Compiled 32278 to 23734 computations (26.5% saved)
3312 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 438.0ms | eps | @ | inf | (log.f64 (-.f64 (/.f64 1 (-.f64 eps -1)) (/.f64 eps (-.f64 eps -1)))) |
| 280.0ms | x | @ | inf | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
| 100.0ms | x | @ | 0 | (pow.f64 x 1/6) |
| 83.0ms | n | @ | 0 | (*.f64 n (log.f64 n)) |
| 80.0ms | x | @ | inf | (*.f64 1/45 (pow.f64 x 3)) |
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 90.9% | 9.1% | 0% | 0% | 0% | 0 |
| 27.4% | 24.9% | 66% | 9.1% | 0% | 0% | 0% | 1 |
| 39% | 34.7% | 54.4% | 9.1% | 0% | 1.8% | 0% | 2 |
| 51% | 44.1% | 42.4% | 9.1% | 0% | 4.5% | 0% | 3 |
| 58.9% | 50.1% | 35% | 9.1% | 0% | 5.8% | 0% | 4 |
| 65.5% | 55% | 29% | 9.1% | 0% | 6.9% | 0% | 5 |
| 67.8% | 56.6% | 26.9% | 9.1% | 0% | 7.5% | 0% | 6 |
| 70.2% | 57.8% | 24.6% | 9.1% | 0% | 8.4% | 0.1% | 7 |
| 72.2% | 59.3% | 22.8% | 9.1% | 0% | 8.7% | 0.1% | 8 |
| 73.5% | 60% | 21.6% | 9.1% | 0% | 9.1% | 0.3% | 9 |
| 74.7% | 60.5% | 20.4% | 9.1% | 0% | 9.7% | 0.3% | 10 |
| 76.2% | 61.5% | 19.2% | 9.1% | 0% | 9.9% | 0.4% | 11 |
| 76.9% | 61.8% | 18.5% | 9.1% | 0% | 10.2% | 0.4% | 12 |
Compiled 375 to 278 computations (25.9% saved)
Loading profile data...