Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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.9min)

soundness7.2min (18.6%)

Rules
1142704×fma-def
598022×associate-*r*
530792×times-frac
489080×log-prod
460054×associate-*l*
Stop Event
80×saturated
6×unsound
1443×node limit
Compiler

Compiled 100593 to 55990 computations (44.3% saved)

sample6.5min (16.8%)

Results
4.7min1825472×body256valid
58.6s338921×body256infinite
15.0s65267×body256invalid
14.5s30363×body512valid
8.7s19350×body1024valid
3.3s4975×body2048valid
1.9s1565×body8192exit
282.0ms685×body1024invalid
250.0ms1094×body512infinite
225.0ms687×body1024infinite
179.0ms583×body512invalid
2.0ms2×body4096valid
Bogosity

regimes5.7min (14.7%)

Counts
33884 → 5572
Calls

490 calls:

49.6s
y
49.3s
z
46.2s
x
36.8s
t
27.7s
a
Compiler

Compiled 399789 to 228095 computations (42.9% saved)

simplify3.8min (9.8%)

Algorithm
1067×egg-herbie
Rules
580886×fma-def
460470×log-prod
402540×associate-*r*
352736×times-frac
346486×associate-*l*
Stop Event
74×done
5×unsound
268×saturated
195×fuel
794×node limit
Counts
357540 → 265922
Compiler

Compiled 64270 to 39150 computations (39.1% saved)

localize3.5min (8.9%)

Compiler

Compiled 108478 to 47518 computations (56.2% saved)

eval3.0min (7.7%)

Compiler

Compiled 7963183 to 4225465 computations (46.9% saved)

rewrite2.9min (7.4%)

Algorithm
798×batch-egg-rewrite
Rules
485357×log1p-expm1-u
360102×expm1-log1p-u
287570×expm1-udef
268406×prod-diff
266104×log-prod
Stop Event
1×unsound
797×node limit
Counts
5535 → 210085

bsearch1.9min (4.8%)

Algorithm
3326×binary-search
278×left-value
Stop Event
3269×narrow-enough
57×predicate-same
Results
1.1min312169×body256valid
33.4s90956×body256infinite
2.4s5019×body512valid
1.6s2581×body1024valid
1.1s8658×body256invalid
730.0ms254×body2048valid
83.0ms89×body1024infinite
36.0ms113×body512infinite
2.0ms11×body512invalid
1.0ms3×body4096valid
Compiler

Compiled 770999 to 580784 computations (24.7% saved)

prune1.7min (4.5%)

Counts
341398 → 12962
Compiler

Compiled 688383 to 480890 computations (30.1% saved)

preprocess1.7min (4.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 187702 to 95267 computations (49.2% saved)

series41.5s (1.8%)

Counts
5535 → 147455
Calls

38859 calls:

TimeVariablePointExpression
4.2s
y
@0
(-.f64 (log.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2))) (log.f64 (cbrt.f64 y)))
502.0ms
y
@-inf
(-.f64 (log.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2))) (log.f64 (cbrt.f64 y)))
360.0ms
a
@inf
(*.f64 a (-.f64 y z))
248.0ms
y
@inf
(/.f64 (+.f64 (/.f64 x y) 1) (-.f64 (/.f64 1 x) -1))
234.0ms
y
@0
(log.f64 (-.f64 1 y))

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

end155.0ms (0%)

Profiling

Loading profile data...