Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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: 7.6min)

sample1.9min (24.3%)

Results
56.7s270768×256valid
7.4s30874×256infinite
10.9s19357×1024valid
19.2s13704×2048valid
3.3s10948×512valid
760.0ms4350×256invalid
506.0ms978×256unsamplable
585.0ms760×4096valid
1.8s202×8192exit
78.0ms186×512infinite
104.0ms142×1024infinite
16.0ms13×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 11.6s, 18.0% of total-time
Operation ival-pow, time spent: 8.0s, 13.0% of total-time
Operation ival-div, time spent: 7.7s, 12.0% of total-time
Operation ival-tan, time spent: 7.3s, 12.0% of total-time
Operation ival-add, time spent: 6.3s, 10.0% of total-time
Operation ival-sub, time spent: 4.6s, 7.0% of total-time
Operation ival-<=, time spent: 4.4s, 7.0% of total-time
Operation ival-sin, time spent: 3.8s, 6.0% of total-time
Operation ival-cos, time spent: 2.1s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-log, time spent: 1.5s, 2.0% of total-time
Operation ival-exp, time spent: 863.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 861.0ms, 1.0% of total-time
Operation ival-neg, time spent: 683.0ms, 1.0% of total-time
Operation ival-and, time spent: 629.0ms, 1.0% of total-time
Operation composed, time spent: 387.0ms, 1.0% of total-time
Operation ival-==, time spent: 328.0ms, 1.0% of total-time
Operation ival-atan, time spent: 223.0ms, 0.0% of total-time
Operation ival-<, time spent: 169.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 51.0ms, 0.0% of total-time
Operation ival-pi, time spent: 45.0ms, 0.0% of total-time
Operation ival-if, time spent: 10.0ms, 0.0% of total-time
Bogosity

localize1.4min (18.3%)

Compiler

Compiled 28509 to 16812 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.5s
Operation ival-mult, time spent: 17.3s, 30.0% of total-time
Operation ival-add, time spent: 7.7s, 13.0% of total-time
Operation ival-div, time spent: 7.7s, 13.0% of total-time
Operation ival-pow, time spent: 7.4s, 13.0% of total-time
Operation composed, time spent: 6.8s, 12.0% of total-time
Operation ival-sub, time spent: 4.0s, 7.0% of total-time
Operation ival-log, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 682.0ms, 1.0% of total-time
Operation ival-tan, time spent: 432.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 245.0ms, 0.0% of total-time
Operation ival-atan, time spent: 138.0ms, 0.0% of total-time
Operation ival-cos, time spent: 124.0ms, 0.0% of total-time
Operation ival-neg, time spent: 116.0ms, 0.0% of total-time
Operation ival-sin, time spent: 75.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.2min (15.5%)

Compiler

Compiled 2744843 to 1868134 computations (31.9% saved)

simplify37.8s (8.2%)

Algorithm
163×egg-herbie
Rules
44588×fma-define
36486×distribute-lft-in
33169×fmm-def
32568×distribute-rgt-in
32383×times-frac
Stop Event
42×saturated
121×node limit
19×fuel
23×done
Counts
56283 → 52779
Compiler

Compiled 10528 to 7006 computations (33.5% saved)

preprocess33.0s (7.2%)

Algorithm
42×egg-herbie
Rules
18502×fmm-def
16342×fma-define
9180×sub-neg
8997×unsub-neg
7628×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 34577 to 21635 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
Operation ival-mult, time spent: 3.5s, 32.0% of total-time
Operation ival-pow, time spent: 1.8s, 17.0% of total-time
Operation ival-div, time spent: 1.6s, 15.0% of total-time
Operation ival-add, time spent: 1.6s, 15.0% of total-time
Operation ival-sub, time spent: 900.0ms, 8.0% of total-time
Operation ival-tan, time spent: 363.0ms, 3.0% of total-time
Operation const, time spent: 355.0ms, 3.0% of total-time
Operation ival-sin, time spent: 191.0ms, 2.0% of total-time
Operation ival-cos, time spent: 118.0ms, 1.0% of total-time
Operation ival-exp, time spent: 103.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 77.0ms, 1.0% of total-time
Operation ival-neg, time spent: 75.0ms, 1.0% of total-time
Operation ival-log, time spent: 68.0ms, 1.0% of total-time
Operation ival-atan, time spent: 28.0ms, 0.0% of total-time
Operation composed, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

soundness30.0s (6.5%)

Rules
37981×fma-define
29333×log1p-expm1-u
26371×fmm-def
25504×distribute-lft-in
24018×distribute-rgt-in
Stop Event
6×saturated
126×node limit
Compiler

Compiled 21134 to 11766 computations (44.3% saved)

rewrite26.2s (5.7%)

Algorithm
121×batch-egg-rewrite
Rules
72485×log1p-expm1-u
53809×expm1-log1p-u
24885×prod-diff
24710×pow1
23294×add-exp-log
Stop Event
121×node limit
Counts
950 → 36273

prune21.1s (4.6%)

Counts
81271 → 1984
Compiler

Compiled 76556 to 52740 computations (31.1% saved)

bsearch17.0s (3.7%)

Algorithm
308×binary-search
17×left-value
Stop Event
19×predicate-same
289×narrow-enough
Results
8.4s26203×256valid
3.6s7269×256infinite
247.0ms2255×256invalid
1.2s1844×1024valid
376.0ms1182×512valid
219.0ms297×2048valid
27.0ms111×256unsamplable
17.0ms46×512infinite
4.0ms7×1024infinite
Compiler

Compiled 106710 to 74751 computations (29.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
Operation ival-mult, time spent: 3.6s, 40.0% of total-time
Operation ival-add, time spent: 1.8s, 20.0% of total-time
Operation ival-div, time spent: 1.6s, 18.0% of total-time
Operation ival-sub, time spent: 757.0ms, 8.0% of total-time
Operation ival-pow, time spent: 633.0ms, 7.0% of total-time
Operation const, time spent: 249.0ms, 3.0% of total-time
Operation ival-neg, time spent: 154.0ms, 2.0% of total-time
Operation ival-exp, time spent: 69.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 37.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze12.1s (2.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.8%26.2%26.5%45.5%0%1.7%0%3
58.3%30.7%22%45.5%0%1.8%0%4
71.6%37.7%15%45.6%0%1.8%0%5
73.1%38.4%14.1%45.6%0%1.8%0%6
78%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.6%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-mult, time spent: 1.4s, 17.0% of total-time
Operation ival-add, time spent: 1.4s, 16.0% of total-time
Operation ival-div, time spent: 1.2s, 14.0% of total-time
Operation ival-sub, time spent: 1.1s, 14.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 13.0% of total-time
Operation ival-pow, time spent: 1.0s, 12.0% of total-time
Operation ival-fabs, time spent: 448.0ms, 5.0% of total-time
Operation const, time spent: 217.0ms, 3.0% of total-time
Operation ival-exp, time spent: 119.0ms, 1.0% of total-time
Operation ival-<=, time spent: 90.0ms, 1.0% of total-time
Operation ival-==, time spent: 78.0ms, 1.0% of total-time
Operation ival-if, time spent: 68.0ms, 1.0% of total-time
Operation ival-<, time spent: 28.0ms, 0.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time
Operation ival-and, time spent: 20.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-cos, time spent: 2.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

regimes10.9s (2.4%)

Counts
4874 → 593
Calls

94 calls:

2.0s
x1
1.0s
b
760.0ms
c
623.0ms
x
509.0ms
a
Compiler

Compiled 3782 to 2680 computations (29.1% saved)

series4.2s (0.9%)

Counts
950 → 20010
Calls

5031 calls:

TimeVariablePointExpression
157.0ms
b
@-inf
(* a (/ -2 (- b (sqrt (+ (* a (* c -4)) (pow b 2))))))
124.0ms
c
@inf
(/ (+ b (/ (* (neg a) d) c)) c)
77.0ms
b
@0
(/ (* b d) c)
54.0ms
a
@-inf
(/ 1 (/ a (* (+ b (exp (* (- (log (* a -4)) (neg (log c))) 1/2))) -1/2)))
48.0ms
a
@0
(exp (* (- (log (* a -4)) (neg (log c))) 1/2))

end39.0ms (0%)

Profiling

Loading profile data...