Herbie run

Date:Thursday, January 18th, 2024
Commit:24741fd0 on main
Hostname:nightly with Racket 8.6
Seed:2024018
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: 38.3min)

soundness7.2min (18.8%)

Rules
1175704×fma-def
640222×associate-*r*
544774×times-frac
518608×fma-neg
497116×associate-*l*
Stop Event
82×saturated
10×unsound
1481×node limit
Compiler

Compiled 100777 to 55033 computations (45.4% saved)

sample6.6min (17.3%)

Results
4.8min1822392×body256valid
57.6s341705×body256infinite
16.1s64723×body256invalid
14.5s30439×body512valid
9.2s19399×body1024valid
2.6s5048×body2048valid
2.0s1500×body8192exit
297.0ms1168×body512infinite
256.0ms708×body1024infinite
243.0ms713×body1024invalid
145.0ms593×body512invalid
3.0ms5×body4096valid
Bogosity

regimes5.2min (13.6%)

Counts
33549 → 5821
Calls

497 calls:

50.1s
y
46.1s
x
44.3s
z
38.8s
t
29.8s
a
Compiler

Compiled 381814 to 215895 computations (43.5% saved)

simplify3.6min (9.5%)

Algorithm
1068×egg-herbie
Rules
595272×fma-def
454294×log-prod
396092×associate-*r*
345252×associate-*l*
343338×times-frac
Stop Event
4×unsound
72×done
268×saturated
197×fuel
796×node limit
Counts
353652 → 263173
Compiler

Compiled 66509 to 40357 computations (39.3% saved)

localize3.3min (8.6%)

Compiler

Compiled 107292 to 46674 computations (56.5% saved)

eval3.0min (7.8%)

Compiler

Compiled 7802901 to 4178336 computations (46.5% saved)

rewrite2.8min (7.4%)

Algorithm
799×batch-egg-rewrite
Rules
491985×log1p-expm1-u
369694×expm1-log1p-u
291832×prod-diff
285124×expm1-udef
265418×log1p-udef
Stop Event
2×unsound
797×node limit
Counts
5462 → 208288

bsearch1.9min (4.9%)

Algorithm
3500×binary-search
282×left-value
Stop Event
3443×narrow-enough
57×predicate-same
Results
1.1min337766×body256valid
27.1s84337×body256infinite
3.4s4961×body512valid
1.8s3160×body1024valid
1.4s9306×body256invalid
112.0ms233×body2048valid
70.0ms69×body512infinite
5.0ms18×body1024infinite
Compiler

Compiled 774243 to 578346 computations (25.3% saved)

prune1.8min (4.8%)

Counts
339719 → 13149
Compiler

Compiled 695550 to 485633 computations (30.2% saved)

preprocess1.7min (4.5%)

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 187830 to 95031 computations (49.4% saved)

series44.7s (1.9%)

Counts
5462 → 145364
Calls

38736 calls:

TimeVariablePointExpression
5.0s
x
@0
(-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (/.f64 y (sqrt.f64 x))))
4.4s
x
@0
(*.f64 x (-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (/.f64 y (sqrt.f64 x)))))
332.0ms
x
@-inf
(-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (/.f64 y (sqrt.f64 x))))
259.0ms
x
@-inf
(cbrt.f64 (*.f64 x (log.f64 (cbrt.f64 x))))
224.0ms
t
@-inf
(*.f64 x (*.f64 t (neg.f64 y)))

analyze16.8s (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)

end190.0ms (0%)

Profiling

Loading profile data...