Herbie run

Date:Monday, September 25th, 2023
Commit:a3a1c89e on report-page-reorganize
Hostname:nightly with Racket 8.6
Seed:2023268
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: 30.6min)

sample5.9min (19.4%)

Results
3.9min1788550×body256valid
47.6s336329×body256infinite
24.7s143266×body256invalid
23.2s45781×body1024valid
11.0s31938×body512valid
7.4s9897×body2048valid
1.8s4830×body1024infinite
1.5s1502×body8192exit
731.0ms3202×body512infinite
499.0ms337×body4096valid
358.0ms1209×body1024invalid
137.0ms883×body512invalid
1.0ms4×body2048invalid
Bogosity

regimes5.1min (16.7%)

Counts
36768 → 5960
Calls

496 calls:

52.1s
y
45.8s
z
45.4s
x
31.6s
t
24.8s
a
Compiler

Compiled 450282 to 247790 computations (45% saved)

soundness5.0min (16.2%)

Rules
1208646×fma-def
657340×associate-*r*
621984×log-prod
572514×fma-neg
531380×associate-*l*
Stop Event
4×unsound
76×saturated
1453×node limit
Compiler

Compiled 108439 to 59897 computations (44.8% saved)

localize2.8min (9%)

Compiler

Compiled 115947 to 46880 computations (59.6% saved)

simplify2.8min (9%)

Algorithm
1100×egg-herbie
Rules
628918×fma-def
484538×log-prod
453418×associate-*r*
398472×associate-*l*
365936×fma-neg
Stop Event
8×unsound
70×done
268×saturated
199×fuel
824×node limit
Counts
371806 → 277773
Compiler

Compiled 70172 to 41964 computations (40.2% saved)

eval2.5min (8.2%)

Compiler

Compiled 8227018 to 3945574 computations (52% saved)

rewrite1.7min (5.5%)

Algorithm
831×batch-egg-rewrite
Rules
515662×pow1
485720×add-exp-log
485452×log1p-expm1-u
485424×expm1-log1p-u
461772×add-log-exp
Stop Event
1×unsound
830×node limit
Counts
5825 → 211907

prune1.7min (5.4%)

Counts
349497 → 13500
Compiler

Compiled 729278 to 491623 computations (32.6% saved)

bsearch1.5min (4.8%)

Algorithm
3554×binary-search
297×left-value
Stop Event
3495×narrow-enough
59×predicate-same
Results
53.8s346286×body256valid
19.2s82329×body256infinite
3.9s5947×body1024valid
1.9s5189×body512valid
982.0ms7704×body256invalid
187.0ms572×body1024infinite
160.0ms266×body2048valid
95.0ms287×body512infinite
5.0ms4×body4096valid
Compiler

Compiled 820004 to 605658 computations (26.1% saved)

preprocess1.0min (3.4%)

Algorithm
269×egg-herbie
Rules
379496×fma-def
124614×fma-neg
117016×sub-neg
102806×unsub-neg
98826×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 153845 to 73546 computations (52.2% saved)

series27.2s (1.5%)

Counts
5825 → 159899
Calls

40824 calls:

TimeVariablePointExpression
285.0ms
x
@-inf
(/.f64 (-.f64 y x) (-.f64 y z))
255.0ms
x
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 x 27061/100000))) 1)
204.0ms
t
@-inf
(log.f64 (*.f64 (pow.f64 t (-.f64 a 1/2)) (*.f64 z x)))
158.0ms
y
@-inf
(*.f64 y (-.f64 a x))
133.0ms
x
@0
(*.f64 x (log.f64 y))

analyze15.7s (0.9%)

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)

end132.0ms (0%)

Profiling

Loading profile data...