Herbie run

Date:Tuesday, April 16th, 2024
Commit:7c422dd2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024107
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: 32.2min)

sample5.8min (18%)

Results
3.7min2192244×0valid
11.9s65345×0invalid
8.8s26104×1valid
689.0ms2112×2valid
1.3s1569×5exit
143.0ms484×1invalid
185.0ms404×3valid
2.0ms8×2invalid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 49.7s (34.4% of total)
ival-sub: 22.8s (15.8% of total)
ival-add: 20.8s (14.4% of total)
ival-div: 18.5s (12.8% of total)
ival-log: 9.3s (6.4% of total)
ival-sqrt: 5.9s (4.1% of total)
ival-sin: 4.8s (3.3% of total)
const: 3.4s (2.3% of total)
ival-cos: 3.1s (2.1% of total)
backward-pass: 2.4s (1.7% of total)
ival-exp: 2.0s (1.4% of total)
ival-tan: 471.0ms (0.3% of total)
ival-cosh: 455.0ms (0.3% of total)
ival-sinh: 352.0ms (0.2% of total)
ival-fabs: 311.0ms (0.2% of total)
ival-acos: 184.0ms (0.1% of total)
ival-tanh: 136.0ms (0.1% of total)
Bogosity

simplify4.3min (13.5%)

Algorithm
1085×egg-herbie
Rules
286089×fma-define
251381×fma-neg
209632×*-commutative
204257×associate-*r*
197941×distribute-lft-in
Stop Event
270×saturated
810×node limit
5×unsound
Counts
376843 → 322451

soundness3.7min (11.4%)

Rules
259599×fma-define
237657×fma-neg
179005×log1p-expm1-u
153615×associate-*r*
146905×times-frac
Stop Event
84×saturated
763×node limit
149×fuel
5×unsound
120×done
Compiler

Compiled 163825 to 84875 computations (48.2% saved)

localize3.5min (10.8%)

Results
1.7min203981×0valid
5.0s7106×0invalid
23.8s6956×1valid
16.1s2880×5exit
9.0s1908×2valid
278.0ms502×0unsamplable
209.0ms134×3valid
78.0ms20×1invalid
2.0ms1×4valid
Compiler

Compiled 114956 to 50440 computations (56.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-mult: 31.1s (28.7% of total)
ival-div: 14.9s (13.7% of total)
ival-add: 12.4s (11.4% of total)
ival-pow: 10.9s (10.1% of total)
backward-pass: 7.8s (7.2% of total)
ival-sub: 7.2s (6.6% of total)
ival-fma: 5.2s (4.8% of total)
ival-sqrt: 4.3s (4% of total)
ival-log: 3.0s (2.8% of total)
const: 2.8s (2.6% of total)
ival-cos: 2.5s (2.3% of total)
ival-sin: 1.9s (1.7% of total)
ival-exp: 1.2s (1.1% of total)
ival-cbrt: 1.1s (1% of total)
ival-neg: 578.0ms (0.5% of total)
ival-log1p: 561.0ms (0.5% of total)
ival-hypot: 328.0ms (0.3% of total)
ival-tan: 208.0ms (0.2% of total)
ival-expm1: 205.0ms (0.2% of total)
ival-sinh: 40.0ms (0% of total)
ival-acos: 32.0ms (0% of total)
ival-cosh: 30.0ms (0% of total)
ival-fabs: 27.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-e: 2.0ms (0% of total)

rewrite3.0min (9.3%)

Algorithm
816×batch-egg-rewrite
Rules
551156×log1p-expm1-u
419697×expm1-log1p-u
162731×pow1
154796×add-exp-log
148526×add-log-exp
Stop Event
812×node limit
4×unsound
Counts
5792 → 207580

regimes2.7min (8.4%)

Counts
38291 → 5810
Calls

488 calls:

27.3s
y
23.4s
z
22.4s
x
18.6s
t
12.3s
a
Compiler

Compiled 46018 to 36456 computations (20.8% saved)

eval2.3min (7.2%)

Compiler

Compiled 9110911 to 4781654 computations (47.5% saved)

prune2.0min (6.1%)

Counts
395268 → 13465
Compiler

Compiled 458682 to 311317 computations (32.1% saved)

bsearch1.8min (5.5%)

Algorithm
3405×binary-search
319×left-value
Stop Event
71×predicate-same
3334×narrow-enough
Results
1.2min411929×0valid
4.4s10532×1valid
668.0ms7131×0invalid
281.0ms885×2valid
22.0ms30×3valid
Compiler

Compiled 808414 to 605748 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.1s
ival-mult: 20.9s (44.3% of total)
ival-sub: 10.3s (21.9% of total)
ival-add: 6.5s (13.8% of total)
ival-div: 3.8s (8% of total)
ival-log: 1.9s (4% of total)
ival-sqrt: 907.0ms (1.9% of total)
ival-sin: 748.0ms (1.6% of total)
const: 659.0ms (1.4% of total)
backward-pass: 626.0ms (1.3% of total)
ival-cos: 568.0ms (1.2% of total)
ival-exp: 238.0ms (0.5% of total)
ival-sinh: 16.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

preprocess1.2min (3.7%)

Algorithm
269×egg-herbie
Rules
137764×fma-neg
117084×fma-define
57352×unsub-neg
50425×sub-neg
47106×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 166796 to 84392 computations (49.4% saved)

series52.8s (2.7%)

Counts
5792 → 169263
Calls

41649 calls:

TimeVariablePointExpression
455.0ms
x
@inf
(* z (- t x))
377.0ms
t
@-inf
(* x (+ (+ (+ y (* 2 z)) y) t))
283.0ms
y
@0
(* (* y (cbrt x)) (pow x 1/6))
275.0ms
y
@-inf
(/ (/ x y) (- y z))
260.0ms
x
@0
(* (pow x 1/4) y)

explain45.0s (2.3%)

Results
22.6s130738×0valid
4.9s5668×1valid
1.8s1172×2valid
184.0ms140×3valid
20.0ms10×5exit
Compiler

Compiled 26361 to 12514 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.9s
ival-mult: 5.3s (29.8% of total)
ival-sub: 3.1s (17.3% of total)
ival-add: 2.6s (14.6% of total)
ival-div: 1.9s (10.9% of total)
ival-log: 1.9s (10.5% of total)
backward-pass: 800.0ms (4.5% of total)
ival-sqrt: 702.0ms (3.9% of total)
const: 486.0ms (2.7% of total)
ival-sin: 393.0ms (2.2% of total)
ival-cos: 373.0ms (2.1% of total)
ival-exp: 135.0ms (0.8% of total)
ival-sinh: 48.0ms (0.3% of total)
ival-tan: 30.0ms (0.2% of total)
ival-tanh: 13.0ms (0.1% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-acos: 9.0ms (0.1% of total)

analyze21.0s (1.1%)

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.2%27.5%0.1%0%4.1%0%5
75.9%72.3%22.9%0.1%0%4.6%0%6
79.9%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.2%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86%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)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 3.6s (38.1% of total)
ival-sub: 1.7s (18% of total)
ival-div: 1.5s (16.2% of total)
ival-add: 1.4s (15.1% of total)
ival-sqrt: 373.0ms (4% of total)
ival-log: 216.0ms (2.3% of total)
const: 158.0ms (1.7% of total)
ival-sin: 150.0ms (1.6% of total)
ival-exp: 139.0ms (1.5% of total)
backward-pass: 50.0ms (0.5% of total)
ival-cos: 28.0ms (0.3% of total)
ival-acos: 22.0ms (0.2% of total)
ival-tan: 18.0ms (0.2% of total)
ival-cosh: 15.0ms (0.2% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

end1.0ms (0%)

Profiling

Loading profile data...