Herbie run

Date:Saturday, December 2nd, 2023
Commit:cfd45c92 on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023336
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: 34.3min)

soundness7.1min (20.7%)

Rules
1195296×fma-def
674174×associate-*r*
562520×log-prod
551296×times-frac
544370×fma-neg
Stop Event
10×unsound
86×saturated
1593×node limit
Compiler

Compiled 105974 to 58786 computations (44.5% saved)

sample5.7min (16.7%)

Results
4.1min1818397×body256valid
50.5s344376×body256infinite
12.7s26198×body1024valid
11.2s63792×body256invalid
8.0s22344×body512valid
5.2s7634×body2048valid
1.6s1632×body8192exit
276.0ms766×body1024infinite
268.0ms1133×body512infinite
223.0ms705×body1024invalid
170.0ms604×body512invalid
11.0ms16×body4096valid
Bogosity

regimes4.9min (14.4%)

Counts
33355 → 5628
Calls

488 calls:

46.4s
y
46.1s
z
41.4s
x
31.4s
t
24.6s
a
Compiler

Compiled 375074 to 210137 computations (44% saved)

simplify3.3min (9.7%)

Algorithm
1087×egg-herbie
Rules
596624×fma-def
476720×log-prod
413080×associate-*r*
368256×associate-*l*
363660×times-frac
Stop Event
74×done
4×unsound
268×saturated
195×fuel
815×node limit
Counts
373954 → 275075
Compiler

Compiled 63424 to 38717 computations (39% saved)

localize3.0min (8.8%)

Compiler

Compiled 109856 to 47746 computations (56.5% saved)

eval2.9min (8.5%)

Compiler

Compiled 8235163 to 4484503 computations (45.5% saved)

rewrite2.0min (5.8%)

Algorithm
818×batch-egg-rewrite
Rules
492225×log1p-expm1-u
373464×expm1-log1p-u
299116×expm1-udef
274864×prod-diff
271236×log1p-udef
Stop Event
1×unsound
817×node limit
Counts
5754 → 220107

prune1.8min (5.1%)

Counts
356329 → 13113
Compiler

Compiled 687736 to 481617 computations (30% saved)

bsearch1.4min (4.2%)

Algorithm
3296×binary-search
310×left-value
Stop Event
3238×narrow-enough
58×predicate-same
Results
53.7s323019×body256valid
22.0s83893×body256infinite
1.5s4116×body512valid
829.0ms2389×body1024valid
734.0ms5217×body256invalid
73.0ms59×body1024invalid
46.0ms142×body2048valid
13.0ms67×body512invalid
8.0ms35×body512infinite
5.0ms22×body1024infinite
Compiler

Compiled 734861 to 552138 computations (24.9% saved)

preprocess1.4min (4%)

Algorithm
269×egg-herbie
Rules
379496×fma-def
124020×fma-neg
116236×sub-neg
103518×unsub-neg
98712×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 152406 to 74386 computations (51.2% saved)

series29.3s (1.4%)

Counts
5754 → 153847
Calls

40395 calls:

TimeVariablePointExpression
270.0ms
y
@-inf
(/.f64 (*.f64 (*.f64 9 x) (-.f64 (pow.f64 y 2) (*.f64 (+.f64 (/.f64 1/9 x) -1) (+.f64 (/.f64 1/9 x) -1)))) (*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 y (+.f64 1 (/.f64 -1/9 x)))))
252.0ms
y
@0
(*.f64 x (fma.f64 (pow.f64 (cbrt.f64 (*.f64 y z)) 2) (neg.f64 (cbrt.f64 (*.f64 y z))) 1))
179.0ms
x
@0
(*.f64 x (log.f64 y))
163.0ms
z
@0
(log.f64 (*.f64 (*.f64 z (+.f64 y x)) (pow.f64 t -1/2)))
152.0ms
z
@-inf
(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)) (-.f64 a x)))

analyze13.4s (0.6%)

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.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.2%0.1%0%5.6%0%8
84.4%79.3%14.7%0.1%0%5.9%0%9
86%80.5%13.1%0.1%0%6.2%0%10
88.5%82.9%10.7%0.1%0%6.2%0%11
89.6%83.7%9.7%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end48.0ms (0%)

Profiling

Loading profile data...