Herbie run

Date:Friday, July 14th, 2023
Commit:132e0c53 on result-filters
Hostname:nightly with Racket 8.6
Seed:2023195
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: 4.8min)

sample1.2min (25.7%)

Results
38.3s269453×body256valid
16.2s14358×body2048valid
8.2s19565×body1024valid
5.6s31070×body256infinite
2.8s11090×body512valid
1.4s202×body8192exit
454.0ms811×body4096valid
283.0ms2621×body256invalid
254.0ms17×body2048infinite
134.0ms940×body256unsamplable
106.0ms183×body1024infinite
76.0ms205×body512infinite
Bogosity

soundness44.1s (15.2%)

Rules
184582×fma-def
117072×associate-*r*
100222×log-prod
94162×times-frac
88510×distribute-lft-in
Stop Event
7×saturated
271×node limit
Compiler

Compiled 23758 to 14445 computations (39.2% saved)

localize39.8s (13.7%)

Compiler

Compiled 26321 to 14047 computations (46.6% saved)

eval34.3s (11.8%)

Compiler

Compiled 1736347 to 1034577 computations (40.4% saved)

simplify24.8s (8.6%)

Algorithm
206×egg-herbie
Rules
144294×fma-def
71746×associate-*r*
71154×distribute-lft-in
69906×times-frac
64498×fma-neg
Stop Event
13×done
58×saturated
29×fuel
148×node limit
Counts
47582 → 42620
Compiler

Compiled 8081 to 5159 computations (36.2% saved)

regimes17.0s (5.9%)

Counts
4361 → 584
Calls

94 calls:

2.0s
d
1.9s
c
1.7s
a
1.6s
x
1.3s
b
Compiler

Compiled 62710 to 35729 computations (43% saved)

prune15.0s (5.2%)

Counts
61382 → 2146
Compiler

Compiled 122369 to 82333 computations (32.7% saved)

rewrite14.4s (5%)

Algorithm
122×batch-egg-rewrite
Rules
80092×pow1
75906×add-exp-log
75854×log1p-expm1-u
75836×expm1-log1p-u
73990×add-log-exp
Stop Event
122×node limit
Counts
929 → 28997

bsearch9.4s (3.2%)

Algorithm
288×binary-search
23×left-value
Stop Event
274×narrow-enough
14×predicate-same
Results
4.6s24654×body256valid
2.5s7125×body256infinite
726.0ms1510×body1024valid
232.0ms1098×body512valid
217.0ms2047×body256invalid
210.0ms321×body2048valid
92.0ms164×body1024infinite
28.0ms85×body512infinite
19.0ms147×body256unsamplable
1.0ms2×body4096valid
1.0ms1×body2048infinite
Compiler

Compiled 71206 to 49489 computations (30.5% saved)

analyze6.2s (2.1%)

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.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end4.7s (1.6%)

Compiler

Compiled 17924 to 10162 computations (43.3% saved)

preprocess2.9s (1%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.7s (0.9%)

Counts
929 → 18543
Calls

4965 calls:

TimeVariablePointExpression
163.0ms
t
@-inf
(-.f64 (pow.f64 t 3/2) 1)
94.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)
63.0ms
x
@0
(*.f64 5 (*.f64 x x))
46.0ms
b
@0
(/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (-.f64 (*.f64 b b) (*.f64 a a)))
44.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)

Profiling

Loading profile data...