Herbie run

Date:Thursday, February 1st, 2024
Commit:93f5a71d on minor-egg-herbie-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024032
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.1min)

soundness7.6min (19.4%)

Rules
1147802×fma-def
646394×associate-*r*
531452×times-frac
512518×log-prod
487512×associate-*l*
Stop Event
87×saturated
1480×node limit
10×unsound
Compiler

Compiled 103859 to 58121 computations (44% saved)

sample6.5min (16.6%)

Results
4.8min1821983×256valid
58.9s342949×256infinite
15.1s64133×256invalid
14.0s29908×512valid
9.3s19033×1024valid
3.2s5189×2048valid
2.1s1554×8192exit
321.0ms1043×512infinite
299.0ms752×1024infinite
190.0ms689×1024invalid
130.0ms604×512invalid
3.0ms7×4096valid
Bogosity

regimes5.1min (13.1%)

Counts
32274 → 5614
Calls

494 calls:

49.5s
y
46.7s
x
44.2s
z
33.4s
a
33.2s
t
Compiler

Compiled 45122 to 35630 computations (21% saved)

simplify3.9min (10%)

Algorithm
1068×egg-herbie
Rules
581336×fma-def
444102×log-prod
399942×associate-*r*
352446×times-frac
349478×associate-*l*
Stop Event
268×saturated
795×node limit
144×fuel
5×unsound
125×done
Counts
348470 → 261072
Compiler

Compiled 63425 to 38871 computations (38.7% saved)

localize3.4min (8.7%)

Compiler

Compiled 105062 to 46694 computations (55.6% saved)

eval3.1min (7.9%)

Compiler

Compiled 7634607 to 4139497 computations (45.8% saved)

rewrite2.9min (7.5%)

Algorithm
799×batch-egg-rewrite
Rules
492517×log1p-expm1-u
369547×expm1-log1p-u
294434×expm1-udef
279354×prod-diff
272144×log-prod
Stop Event
797×node limit
2×unsound
Counts
5368 → 202795

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 187745 to 94888 computations (49.5% saved)

bsearch1.9min (4.8%)

Algorithm
3344×binary-search
264×left-value
Stop Event
54×predicate-same
3290×narrow-enough
Results
1.0min314534×256valid
34.9s89607×256infinite
1.6s8778×256invalid
2.3s4241×512valid
1.3s2378×1024valid
78.0ms99×512infinite
46.0ms92×2048valid
29.0ms73×1024infinite
2.0ms6×512invalid
Compiler

Compiled 741666 to 558700 computations (24.7% saved)

prune1.7min (4.4%)

Counts
329397 → 12690
Compiler

Compiled 414862 to 285318 computations (31.2% saved)

series39.8s (1.7%)

Counts
5368 → 145675
Calls

38424 calls:

TimeVariablePointExpression
366.0ms
x
@0
(log.f64 (/.f64 x (*.f64 y z)))
316.0ms
t
@inf
(fma.f64 y (/.f64 z t) x)
284.0ms
y
@-inf
(log.f64 (/.f64 x (*.f64 y z)))
265.0ms
z
@-inf
(/.f64 (-.f64 (pow.f64 (*.f64 x (log.f64 y)) 2) (*.f64 (neg.f64 z) (neg.f64 z))) (-.f64 (*.f64 x (log.f64 y)) (neg.f64 z)))
238.0ms
x
@0
(*.f64 x (log.f64 y))

analyze18.4s (0.8%)

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)

end118.0ms (0%)

Profiling

Loading profile data...