Herbie run

Date:Wednesday, January 31st, 2024
Commit:92b4fbd0 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024031
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.5min (19.3%)

Rules
1097562×fma-def
640260×associate-*r*
548380×log-prod
539478×times-frac
522662×fma-neg
Stop Event
86×saturated
1512×node limit
7×unsound
Compiler

Compiled 103668 to 57482 computations (44.6% saved)

sample6.4min (16.4%)

Results
4.7min1824293×256valid
58.4s340678×256infinite
15.3s64744×256invalid
13.7s30047×512valid
9.5s19108×1024valid
3.6s5023×2048valid
2.3s1689×8192exit
227.0ms997×512infinite
349.0ms715×1024infinite
268.0ms676×1024invalid
229.0ms575×512invalid
2.0ms3×4096valid
Bogosity

regimes5.1min (13.1%)

Counts
34471 → 5785
Calls

498 calls:

47.5s
x
45.8s
z
45.7s
y
32.4s
t
27.2s
a
Compiler

Compiled 45748 to 36071 computations (21.2% saved)

simplify3.9min (9.9%)

Algorithm
1086×egg-herbie
Rules
583512×fma-def
473416×log-prod
408336×associate-*r*
358282×times-frac
358030×associate-*l*
Stop Event
268×saturated
812×node limit
141×fuel
6×unsound
128×done
Counts
361066 → 268875
Compiler

Compiled 67569 to 40216 computations (40.5% saved)

localize3.6min (9.2%)

Compiler

Compiled 108389 to 47661 computations (56% saved)

eval3.2min (8.1%)

Compiler

Compiled 8121368 to 4389155 computations (46% saved)

rewrite2.9min (7.4%)

Algorithm
817×batch-egg-rewrite
Rules
512268×log1p-expm1-u
373241×expm1-log1p-u
297258×expm1-udef
294410×prod-diff
276746×log1p-udef
Stop Event
815×node limit
2×unsound
Counts
5553 → 213521

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 200943 to 99400 computations (50.5% saved)

bsearch1.8min (4.6%)

Algorithm
3465×binary-search
284×left-value
Stop Event
49×predicate-same
3416×narrow-enough
Results
1.0min321326×256valid
33.0s93680×256infinite
1.1s9342×256invalid
1.6s4383×512valid
1.1s2598×1024valid
99.0ms181×1024invalid
52.0ms146×2048valid
21.0ms122×512invalid
73.0ms86×512infinite
31.0ms69×1024infinite
Compiler

Compiled 798011 to 595979 computations (25.3% saved)

prune1.7min (4.3%)

Counts
347833 → 12980
Compiler

Compiled 423372 to 289539 computations (31.6% saved)

series39.2s (1.7%)

Counts
5553 → 147545
Calls

38670 calls:

TimeVariablePointExpression
330.0ms
y
@inf
(log1p.f64 (sin.f64 y))
329.0ms
x
@0
(*.f64 x (log.f64 y))
285.0ms
z
@inf
(cbrt.f64 (*.f64 y (pow.f64 z 2)))
267.0ms
x
@0
(-.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (*.f64 (+.f64 x -1) (log.f64 y))) t)
195.0ms
x
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 x 27061/100000))) 1)

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

end123.0ms (0%)

Profiling

Loading profile data...