Herbie run

Date:Saturday, January 20th, 2024
Commit:d8d592a2 on error-explanations-2
Hostname:nightly with Racket 8.6
Seed:2024020
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: 39.3min)

soundness7.7min (19.5%)

Rules
1181470×fma-def
628126×associate-*r*
563866×times-frac
532128×log-prod
503816×fma-neg
Stop Event
80×saturated
9×unsound
1517×node limit
Compiler

Compiled 109147 to 60780 computations (44.3% saved)

sample6.7min (17%)

Results
4.8min1822191×body256valid
58.8s342078×body256infinite
15.3s30540×body512valid
15.3s63603×body256invalid
8.7s19097×body1024valid
3.3s5137×body2048valid
2.0s1585×body8192exit
627.0ms726×body1024infinite
323.0ms567×body512invalid
284.0ms1094×body512infinite
193.0ms697×body1024invalid
0.0ms1×body4096valid
Bogosity

regimes5.4min (13.8%)

Counts
35340 → 5641
Calls

493 calls:

53.9s
y
50.4s
x
49.6s
z
36.4s
t
31.6s
a
Compiler

Compiled 401161 to 224343 computations (44.1% saved)

localize3.7min (9.3%)

Compiler

Compiled 107511 to 47237 computations (56.1% saved)

simplify3.6min (9.2%)

Algorithm
1064×egg-herbie
Rules
596622×fma-def
440372×log-prod
400642×associate-*r*
347170×associate-*l*
338622×times-frac
Stop Event
4×unsound
70×done
268×saturated
199×fuel
792×node limit
Counts
353627 → 265746
Compiler

Compiled 63645 to 38864 computations (38.9% saved)

eval3.0min (7.5%)

Compiler

Compiled 8092748 to 4360055 computations (46.1% saved)

rewrite2.8min (7.2%)

Algorithm
795×batch-egg-rewrite
Rules
487070×log1p-expm1-u
367104×expm1-log1p-u
307212×prod-diff
282794×expm1-udef
257926×log1p-udef
Stop Event
1×unsound
794×node limit
Counts
5428 → 208555

preprocess2.1min (5.3%)

Algorithm
269×egg-herbie
Rules
366494×fma-def
126628×fma-neg
120808×sub-neg
110422×unsub-neg
108590×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 190477 to 96316 computations (49.4% saved)

prune1.7min (4.4%)

Counts
347443 → 13190
Compiler

Compiled 689803 to 483061 computations (30% saved)

bsearch1.7min (4.4%)

Algorithm
3330×binary-search
283×left-value
Stop Event
3272×narrow-enough
58×predicate-same
Results
1.0min323861×body256valid
27.9s81571×body256infinite
1.6s4955×body512valid
1.4s7497×body256invalid
1.4s3301×body1024valid
91.0ms244×body2048valid
46.0ms88×body1024infinite
35.0ms108×body512infinite
6.0ms19×body512invalid
Compiler

Compiled 738506 to 553417 computations (25.1% saved)

series38.6s (1.6%)

Counts
5428 → 145072
Calls

38205 calls:

TimeVariablePointExpression
663.0ms
x
@0
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 27061/100000)))
380.0ms
x
@-inf
(fma.f64 (*.f64 2 z) x (*.f64 x t))
375.0ms
y
@0
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
343.0ms
y
@inf
(fma.f64 x (+.f64 (*.f64 2 (+.f64 y z)) t) (*.f64 y 5))
303.0ms
x
@0
(log.f64 (/.f64 x (cbrt.f64 y)))

analyze16.6s (0.7%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end108.0ms (0%)

Profiling

Loading profile data...