Herbie run

Date:Thursday, November 16th, 2023
Commit:0b682ffb on trig-hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023320
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: 33.9min)

soundness6.3min (18.7%)

Rules
1185758×fma-def
589780×associate-*r*
540730×log-prod
540014×fma-neg
538088×times-frac
Stop Event
4×unsound
86×saturated
1469×node limit
Compiler

Compiled 103850 to 58840 computations (43.3% saved)

sample6.0min (17.8%)

Results
3.9min1786463×body256valid
49.1s338167×body256infinite
25.2s143887×body256invalid
23.4s45751×body1024valid
11.0s32064×body512valid
6.5s9697×body2048valid
2.1s5103×body1024infinite
1.7s1537×body8192exit
896.0ms3241×body512infinite
828.0ms377×body4096valid
262.0ms1205×body1024invalid
144.0ms906×body512invalid
1.0ms4×body2048invalid
0.0ms1×body2048infinite
Bogosity

regimes5.0min (14.6%)

Counts
34259 → 5688
Calls

490 calls:

45.4s
z
45.4s
y
42.8s
x
34.5s
t
29.4s
a
Compiler

Compiled 394335 to 221822 computations (43.7% saved)

simplify3.2min (9.5%)

Algorithm
1086×egg-herbie
Rules
602920×fma-def
458776×log-prod
407204×associate-*r*
359378×times-frac
346698×associate-*l*
Stop Event
5×unsound
72×done
268×saturated
197×fuel
813×node limit
Counts
371628 → 273760
Compiler

Compiled 64639 to 39661 computations (38.6% saved)

localize3.2min (9.4%)

Compiler

Compiled 109433 to 47932 computations (56.2% saved)

eval2.8min (8.4%)

Compiler

Compiled 7960672 to 4343703 computations (45.4% saved)

rewrite2.0min (6%)

Algorithm
817×batch-egg-rewrite
Rules
496237×log1p-expm1-u
372295×expm1-log1p-u
290278×expm1-udef
287968×prod-diff
268066×log-prod
Stop Event
1×unsound
816×node limit
Counts
5779 → 218548

prune1.7min (5%)

Counts
350085 → 13351
Compiler

Compiled 692592 to 484678 computations (30% saved)

bsearch1.5min (4.3%)

Algorithm
3362×binary-search
294×left-value
Stop Event
3321×narrow-enough
41×predicate-same
Results
52.7s321875×body256valid
19.7s79583×body256infinite
4.4s7042×body1024valid
2.2s6353×body512valid
810.0ms6977×body256invalid
115.0ms831×body512invalid
105.0ms182×body2048valid
34.0ms130×body512infinite
30.0ms149×body1024invalid
10.0ms35×body1024infinite
Compiler

Compiled 737965 to 554204 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 155008 to 76186 computations (50.9% saved)

series29.5s (1.5%)

Counts
5779 → 153080
Calls

39918 calls:

TimeVariablePointExpression
280.0ms
y
@0
(*.f64 (pow.f64 x 1/4) (+.f64 y (+.f64 (/.f64 1/9 x) -1)))
231.0ms
x
@-inf
(*.f64 (/.f64 y (sqrt.f64 x)) y)
200.0ms
x
@0
(*.f64 x (log.f64 y))
188.0ms
c
@inf
(*.f64 2 (*.f64 a (-.f64 c b)))
165.0ms
y
@inf
(log1p.f64 (sin.f64 y))

analyze15.2s (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
49.9%49.7%49.9%0.1%0%0.2%0%2
57.9%57.4%41.7%0.1%0%0.7%0%3
64%63.2%35.5%0.1%0%1.2%0%4
69.8%68.7%29.8%0.1%0%1.4%0%5
74.4%72.7%25.1%0.1%0%2.1%0%6
78.5%76%20.8%0.1%0%3%0%7
80.3%77.4%19%0.1%0%3.5%0%8
83.1%79.6%16.2%0.1%0%4.1%0%9
84.8%80.8%14.4%0.1%0%4.7%0%10
87.7%83.1%11.7%0.1%0%5.1%0%11
88.9%83.8%10.5%0.1%0%5.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end51.0ms (0%)

Profiling

Loading profile data...