Herbie run

Date:Thursday, May 9th, 2024
Commit:ca11b5db on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024130
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.1min)

sample1.8min (25.5%)

Results
54.0s270156×256valid
7.3s31314×256infinite
10.4s19524×1024valid
18.6s13549×2048valid
3.5s11040×512valid
520.0ms4350×256invalid
185.0ms908×256unsamplable
673.0ms790×4096valid
86.0ms211×512infinite
2.0s202×8192exit
151.0ms153×1024infinite
16.0ms15×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 12.0s, 20.0% of total-time
Operation ival-tan, time spent: 7.8s, 13.0% of total-time
Operation ival-pow, time spent: 7.7s, 13.0% of total-time
Operation ival-div, time spent: 7.1s, 12.0% of total-time
Operation ival-add, time spent: 5.6s, 9.0% of total-time
Operation ival-sub, time spent: 4.3s, 7.0% of total-time
Operation ival-<=, time spent: 3.7s, 6.0% of total-time
Operation ival-sin, time spent: 3.4s, 6.0% of total-time
Operation ival-cos, time spent: 2.2s, 4.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-log, time spent: 1.3s, 2.0% of total-time
Operation ival-exp, time spent: 793.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 731.0ms, 1.0% of total-time
Operation ival-neg, time spent: 592.0ms, 1.0% of total-time
Operation ival-and, time spent: 553.0ms, 1.0% of total-time
Operation composed, time spent: 481.0ms, 1.0% of total-time
Operation ival-==, time spent: 344.0ms, 1.0% of total-time
Operation ival-atan, time spent: 235.0ms, 0.0% of total-time
Operation ival-<, time spent: 110.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 50.0ms, 0.0% of total-time
Operation ival-pi, time spent: 41.0ms, 0.0% of total-time
Operation ival-if, time spent: 10.0ms, 0.0% of total-time
Bogosity

localize1.4min (19.5%)

Compiler

Compiled 26093 to 15531 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.0s
Operation ival-mult, time spent: 16.5s, 29.0% of total-time
Operation ival-div, time spent: 8.0s, 14.0% of total-time
Operation ival-pow, time spent: 7.8s, 14.0% of total-time
Operation ival-add, time spent: 7.7s, 14.0% of total-time
Operation composed, time spent: 5.9s, 11.0% of total-time
Operation ival-sub, time spent: 4.2s, 7.0% of total-time
Operation const, time spent: 1.4s, 3.0% of total-time
Operation ival-exp, time spent: 972.0ms, 2.0% of total-time
Operation ival-tan, time spent: 865.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 814.0ms, 1.0% of total-time
Operation ival-log, time spent: 806.0ms, 1.0% of total-time
Operation ival-sin, time spent: 330.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 230.0ms, 0.0% of total-time
Operation ival-cos, time spent: 168.0ms, 0.0% of total-time
Operation ival-atan, time spent: 165.0ms, 0.0% of total-time
Operation ival-neg, time spent: 86.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

eval50.3s (11.9%)

Compiler

Compiled 2102277 to 1403789 computations (33.2% saved)

simplify35.8s (8.5%)

Algorithm
160×egg-herbie
Rules
43533×fma-define
35932×fmm-def
33838×distribute-lft-in
31673×times-frac
30612×distribute-rgt-in
Stop Event
42×saturated
118×node limit
23×fuel
19×done
Counts
54010 → 52063
Compiler

Compiled 9612 to 6386 computations (33.6% saved)

preprocess32.8s (7.8%)

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 34459 to 21711 computations (37% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
Operation ival-mult, time spent: 3.7s, 31.0% of total-time
Operation ival-div, time spent: 2.4s, 20.0% of total-time
Operation ival-pow, time spent: 1.7s, 14.0% of total-time
Operation ival-add, time spent: 1.4s, 12.0% of total-time
Operation ival-sub, time spent: 1.2s, 10.0% of total-time
Operation ival-tan, time spent: 500.0ms, 4.0% of total-time
Operation const, time spent: 320.0ms, 3.0% of total-time
Operation ival-sin, time spent: 161.0ms, 1.0% of total-time
Operation ival-exp, time spent: 118.0ms, 1.0% of total-time
Operation ival-cos, time spent: 93.0ms, 1.0% of total-time
Operation ival-neg, time spent: 76.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 67.0ms, 1.0% of total-time
Operation ival-log, time spent: 61.0ms, 1.0% of total-time
Operation ival-atan, time spent: 31.0ms, 0.0% of total-time
Operation composed, time spent: 24.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness28.0s (6.6%)

Rules
36918×fma-define
27472×log1p-expm1-u
26502×fmm-def
23648×distribute-lft-in
22414×times-frac
Stop Event
8×saturated
118×node limit
Compiler

Compiled 22967 to 14211 computations (38.1% saved)

rewrite26.4s (6.2%)

Algorithm
118×batch-egg-rewrite
Rules
69327×log1p-expm1-u
55134×expm1-log1p-u
23861×pow1
23376×add-exp-log
22274×add-log-exp
Stop Event
118×node limit
Counts
957 → 34293

prune19.4s (4.6%)

Counts
72947 → 1874
Compiler

Compiled 65301 to 45792 computations (29.9% saved)

bsearch15.0s (3.6%)

Algorithm
274×binary-search
27×left-value
Stop Event
16×predicate-same
258×narrow-enough
Results
7.3s25494×256valid
3.5s6074×256infinite
795.0ms1230×1024valid
130.0ms1149×256invalid
320.0ms689×512valid
417.0ms362×2048valid
44.0ms113×512infinite
43.0ms70×1024infinite
4.0ms21×256unsamplable
Compiler

Compiled 84117 to 59775 computations (28.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-mult, time spent: 3.4s, 40.0% of total-time
Operation ival-add, time spent: 1.6s, 19.0% of total-time
Operation ival-div, time spent: 1.2s, 14.0% of total-time
Operation ival-sub, time spent: 969.0ms, 12.0% of total-time
Operation ival-pow, time spent: 935.0ms, 11.0% of total-time
Operation const, time spent: 204.0ms, 2.0% of total-time
Operation ival-neg, time spent: 42.0ms, 1.0% of total-time
Operation ival-exp, time spent: 27.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 27.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze11.9s (2.8%)

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.5s
Operation ival-add, time spent: 1.7s, 20.0% of total-time
Operation ival-div, time spent: 1.2s, 14.0% of total-time
Operation ival-mult, time spent: 1.1s, 13.0% of total-time
Operation ival-pow, time spent: 1.1s, 13.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 13.0% of total-time
Operation ival-sub, time spent: 952.0ms, 11.0% of total-time
Operation ival-fabs, time spent: 486.0ms, 6.0% of total-time
Operation ival-exp, time spent: 416.0ms, 5.0% of total-time
Operation const, time spent: 207.0ms, 2.0% of total-time
Operation ival-<=, time spent: 96.0ms, 1.0% of total-time
Operation ival-==, time spent: 71.0ms, 1.0% of total-time
Operation ival-if, time spent: 63.0ms, 1.0% of total-time
Operation ival-neg, time spent: 34.0ms, 0.0% of total-time
Operation ival-<, time spent: 24.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.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 ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation composed, 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

regimes8.7s (2.1%)

Counts
4767 → 582
Calls

94 calls:

1.2s
x1
798.0ms
d
708.0ms
b
686.0ms
c
640.0ms
x
Compiler

Compiled 4209 to 2960 computations (29.7% saved)

series3.9s (0.9%)

Counts
957 → 19717
Calls

5064 calls:

TimeVariablePointExpression
77.0ms
c
@-inf
(* (/ -1/2 a) (pow (sqrt (+ b (sqrt (+ (* a (* c -4)) (pow b 2))))) 2))
71.0ms
c
@0
(/ (sqrt (+ (* c c) (* d d))) (+ (* a c) (* b d)))
56.0ms
y
@inf
(* (- x y) (pow (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y)))) 2))
46.0ms
t1
@0
(/ t1 (+ t1 u))
44.0ms
x
@inf
(+ (/ x y) -1)

end98.0ms (0%)

Profiling

Loading profile data...