Herbie run

Date:Thursday, February 8th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024039
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: 7.1min)

sample1.5min (21.3%)

Results
47.6s270467×256valid
6.1s31096×256infinite
10.7s19274×1024valid
17.2s13731×2048valid
3.3s11031×512valid
3.5s2191×8192exit
315.0ms2180×256invalid
148.0ms946×256unsamplable
823.0ms772×4096valid
77.0ms192×512infinite
110.0ms171×1024infinite
19.0ms18×2048infinite
Bogosity

eval1.1min (16.2%)

Compiler

Compiled 2679899 to 1856576 computations (30.7% saved)

localize1.1min (15.7%)

Compiler

Compiled 29093 to 17316 computations (40.5% saved)

soundness53.2s (12.6%)

Rules
128940×fma-define
90674×fma-neg
70002×associate-*r*
69554×times-frac
57542×distribute-lft-in
Stop Event
5×saturated
209×node limit
Compiler

Compiled 21894 to 13224 computations (39.6% saved)

simplify33.0s (7.8%)

Algorithm
164×egg-herbie
Rules
86066×fma-define
68758×fma-neg
58692×log-prod
52620×times-frac
50930×associate-*r*
Stop Event
42×saturated
122×node limit
20×fuel
22×done
Counts
50519 → 44243
Compiler

Compiled 6749 to 4326 computations (35.9% saved)

preprocess27.0s (6.4%)

Algorithm
42×egg-herbie
Rules
43132×fma-neg
39438×fma-define
20316×unsub-neg
19876×sub-neg
17614×distribute-lft-neg-in
Stop Event
12×saturated
30×node limit
Compiler

Compiled 28045 to 17211 computations (38.6% saved)

rewrite25.4s (6%)

Algorithm
122×batch-egg-rewrite
Rules
72447×log1p-expm1-u
58229×expm1-log1p-u
42086×log-prod
41970×unpow-prod-down
41804×prod-diff
Stop Event
122×node limit
Counts
864 → 33927

prune20.5s (4.8%)

Counts
77002 → 1841
Compiler

Compiled 70667 to 48339 computations (31.6% saved)

regimes16.0s (3.8%)

Counts
3392 → 449
Calls

95 calls:

1.9s
c
1.8s
a
1.8s
d
1.5s
b
1.0s
x
Compiler

Compiled 3905 to 2800 computations (28.3% saved)

analyze8.4s (2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch8.0s (1.9%)

Algorithm
204×binary-search
17×left-value
Stop Event
19×predicate-same
185×narrow-enough
Results
4.6s19379×256valid
942.0ms2426×256infinite
326.0ms1300×512valid
735.0ms1262×1024valid
513.0ms1158×8192exit
140.0ms600×256invalid
119.0ms173×2048valid
2.0ms2×2048infinite
1.0ms1×1024infinite
0.0ms1×4096valid
Compiler

Compiled 61334 to 42187 computations (31.2% saved)

series6.7s (1.6%)

Counts
864 → 16592
Calls

4635 calls:

TimeVariablePointExpression
126.0ms
t
@-inf
(*.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
119.0ms
c
@0
(+.f64 d (+.f64 e (+.f64 b c)))
110.0ms
t
@-inf
(pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3)
109.0ms
i
@-inf
(pow.f64 (+.f64 1 (/.f64 i n)) n)
94.0ms
c
@inf
(/.f64 (+.f64 (neg.f64 b) (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (pow.f64 b 2))) 3/2)) (*.f64 a 2))

end11.0ms (0%)

Profiling

Loading profile data...