Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
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.8min)

sample6.0min (18.4%)

Results
3.5min2149733×0valid
10.5s64881×0invalid
24.5s63057×1valid
3.7s7558×2valid
765.0ms1563×1invalid
1.6s1540×5exit
136.0ms515×3valid
1.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 50.4s (33.4% of total)
ival-sub: 23.1s (15.3% of total)
ival-add: 21.3s (14.1% of total)
ival-div: 19.4s (12.8% of total)
ival-log: 9.3s (6.2% of total)
ival-sqrt: 6.1s (4% of total)
backward-pass: 5.7s (3.7% of total)
ival-sin: 5.3s (3.5% of total)
const: 3.6s (2.4% of total)
ival-cos: 3.5s (2.3% of total)
ival-exp: 1.6s (1.1% of total)
ival-cosh: 684.0ms (0.5% of total)
ival-fabs: 484.0ms (0.3% of total)
ival-tan: 228.0ms (0.2% of total)
ival-acos: 188.0ms (0.1% of total)
ival-sinh: 146.0ms (0.1% of total)
ival-tanh: 94.0ms (0.1% of total)
Bogosity

localize4.3min (13%)

Results
1.6min201356×256valid
7.3s8124×256invalid
24.2s5141×1024valid
38.4s2724×8192exit
7.2s2624×512valid
21.2s1922×2048valid
330.0ms480×256unsamplable
1.7s59×4096valid
62.0ms17×1024invalid
904.0ms14×8192valid
6.0ms3×512invalid
Compiler

Compiled 110698 to 48719 computations (56% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 41.5s (26.4% of total)
ival-pow: 20.1s (12.8% of total)
ival-div: 17.1s (10.9% of total)
ival-add: 15.8s (10% of total)
<compiled-spec>: 11.9s (7.6% of total)
ival-sub: 10.2s (6.5% of total)
ival-log: 8.9s (5.7% of total)
ival-cos: 7.3s (4.6% of total)
ival-sqrt: 6.2s (4% of total)
ival-sin: 4.8s (3.1% of total)
ival-exp: 4.3s (2.8% of total)
ival-tan: 3.3s (2.1% of total)
const: 2.8s (1.8% of total)
ival-cbrt: 1.8s (1.1% of total)
ival-neg: 897.0ms (0.6% of total)
ival-fabs: 103.0ms (0.1% of total)
ival-acos: 80.0ms (0.1% of total)
ival-cosh: 37.0ms (0% of total)
ival-sinh: 25.0ms (0% of total)
ival-tanh: 18.0ms (0% of total)

simplify4.3min (13%)

Algorithm
1075×egg-herbie
Rules
285228×fma-define
236854×fma-neg
206429×*-commutative
200055×distribute-lft-in
198771×associate-*r*
Stop Event
268×saturated
802×node limit
5×unsound
Counts
366236 → 312268

soundness3.6min (11.1%)

Rules
264773×fma-define
235548×fma-neg
210071×log1p-expm1-u
151460×associate-*r*
150504×expm1-log1p-u
Stop Event
82×saturated
783×node limit
144×fuel
3×unsound
125×done
Compiler

Compiled 168552 to 87514 computations (48.1% saved)

rewrite2.9min (8.8%)

Algorithm
806×batch-egg-rewrite
Rules
561364×log1p-expm1-u
409099×expm1-log1p-u
159727×pow1
149650×add-exp-log
144514×add-log-exp
Stop Event
805×node limit
1×unsound
Counts
5594 → 203626

regimes2.6min (7.9%)

Counts
37866 → 6105
Calls

492 calls:

24.9s
y
23.5s
x
23.3s
z
16.9s
t
10.0s
a
Compiler

Compiled 45634 to 36076 computations (20.9% saved)

eval2.3min (7%)

Compiler

Compiled 8890551 to 4690105 computations (47.2% saved)

prune1.9min (5.9%)

Counts
390813 → 12976
Compiler

Compiled 434877 to 294904 computations (32.2% saved)

bsearch1.8min (5.4%)

Algorithm
3577×binary-search
383×left-value
Stop Event
61×predicate-same
3516×narrow-enough
Results
1.2min430936×0valid
4.4s9688×1valid
550.0ms5738×0invalid
267.0ms617×2valid
15.0ms23×3valid
1.0ms3×1invalid
Compiler

Compiled 792539 to 595493 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.8s
ival-mult: 20.6s (45% of total)
ival-sub: 8.5s (18.5% of total)
ival-add: 6.5s (14.1% of total)
ival-div: 3.7s (8.1% of total)
ival-log: 2.0s (4.5% of total)
ival-sqrt: 1.1s (2.5% of total)
backward-pass: 787.0ms (1.7% of total)
ival-sin: 750.0ms (1.6% of total)
const: 690.0ms (1.5% of total)
ival-exp: 609.0ms (1.3% of total)
ival-cos: 484.0ms (1.1% of total)
ival-tanh: 16.0ms (0% of total)
ival-cosh: 3.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)
ival-sinh: 0.0ms (0% of total)

preprocess1.2min (3.5%)

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 172542 to 86998 computations (49.6% saved)

series53.4s (2.7%)

Counts
5594 → 162610
Calls

40074 calls:

TimeVariablePointExpression
475.0ms
x
@0
(log (log (/ x y)))
340.0ms
c
@0
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
289.0ms
t
@inf
(+ x (* y (exp (* 2 (/ (- (* (sqrt a) z) (* -2/3 (- b c))) t)))))
267.0ms
y
@0
(+ (* x (log y)) (- (log t) z))
260.0ms
x
@0
(* (log (cbrt x)) (* x 3))

explain45.6s (2.3%)

Results
22.1s131674×256valid
4.5s3094×1024valid
1.3s1824×512valid
1.9s1134×2048valid
3.0ms2×4096valid
Compiler

Compiled 26361 to 12514 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.3s
ival-mult: 5.1s (29.7% of total)
ival-log: 2.6s (15% of total)
ival-add: 2.5s (14.6% of total)
ival-sub: 2.3s (13.4% of total)
ival-div: 1.8s (10.3% of total)
ival-sqrt: 893.0ms (5.2% of total)
ival-sin: 869.0ms (5% of total)
const: 458.0ms (2.6% of total)
ival-cos: 362.0ms (2.1% of total)
ival-exp: 163.0ms (0.9% of total)
ival-sinh: 82.0ms (0.5% of total)
ival-tan: 49.0ms (0.3% of total)
ival-cosh: 35.0ms (0.2% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-acos: 12.0ms (0.1% of total)
ival-tanh: 10.0ms (0.1% of total)

analyze19.6s (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.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)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-mult: 3.0s (37.7% of total)
ival-add: 1.3s (16.8% of total)
ival-sub: 1.3s (16.4% of total)
ival-div: 1.3s (15.7% of total)
ival-exp: 258.0ms (3.2% of total)
ival-log: 225.0ms (2.8% of total)
ival-sqrt: 208.0ms (2.6% of total)
const: 167.0ms (2.1% of total)
ival-sin: 100.0ms (1.3% of total)
ival-acos: 31.0ms (0.4% of total)
ival-cos: 27.0ms (0.3% of total)
ival-tan: 22.0ms (0.3% of total)
ival-cosh: 16.0ms (0.2% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 4.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)

end1.0ms (0%)

Profiling

Loading profile data...