Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
Hostname:nightly with Racket 8.11.1
Seed:2024076
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.9min)

sample1.8min (22.7%)

Results
53.8s270576×256valid
8.3s30985×256infinite
10.1s19346×1024valid
17.7s13705×2048valid
3.8s10977×512valid
906.0ms4194×256invalid
230.0ms999×256unsamplable
678.0ms806×4096valid
94.0ms217×512infinite
1.7s202×8192exit
108.0ms126×1024infinite
15.0ms14×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 12.3s, 20.0% of total-time
Operation ival-pow, time spent: 7.3s, 12.0% of total-time
Operation ival-tan, time spent: 6.9s, 11.0% of total-time
Operation ival-div, time spent: 6.9s, 11.0% of total-time
Operation ival-add, time spent: 5.7s, 9.0% of total-time
Operation ival-sub, time spent: 4.5s, 7.0% of total-time
Operation ival-<=, time spent: 4.1s, 7.0% of total-time
Operation ival-sin, time spent: 3.4s, 6.0% of total-time
Operation ival-cos, time spent: 2.6s, 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: 942.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 784.0ms, 1.0% of total-time
Operation ival-neg, time spent: 588.0ms, 1.0% of total-time
Operation ival-and, time spent: 546.0ms, 1.0% of total-time
Operation composed, time spent: 353.0ms, 1.0% of total-time
Operation ival-==, time spent: 313.0ms, 1.0% of total-time
Operation ival-atan, time spent: 282.0ms, 0.0% of total-time
Operation ival-<, time spent: 168.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 45.0ms, 0.0% of total-time
Operation ival-pi, time spent: 45.0ms, 0.0% of total-time
Operation ival-if, time spent: 12.0ms, 0.0% of total-time
Bogosity

localize1.5min (19.4%)

Compiler

Compiled 29061 to 17360 computations (40.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 19.5s, 32.0% of total-time
Operation ival-add, time spent: 9.4s, 16.0% of total-time
Operation ival-pow, time spent: 8.9s, 15.0% of total-time
Operation ival-div, time spent: 8.6s, 14.0% of total-time
Operation ival-sub, time spent: 4.4s, 7.0% of total-time
Operation composed, time spent: 4.0s, 7.0% of total-time
Operation const, time spent: 1.7s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 2.0% of total-time
Operation ival-tan, time spent: 664.0ms, 1.0% of total-time
Operation ival-sin, time spent: 420.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 359.0ms, 1.0% of total-time
Operation ival-log, time spent: 280.0ms, 0.0% of total-time
Operation ival-neg, time spent: 189.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 114.0ms, 0.0% of total-time
Operation ival-cos, time spent: 85.0ms, 0.0% of total-time
Operation ival-atan, time spent: 70.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.5min (18.7%)

Compiler

Compiled 2951271 to 2000084 computations (32.2% saved)

simplify37.7s (8%)

Algorithm
164×egg-herbie
Rules
45002×fma-define
38719×distribute-lft-in
35243×fma-neg
34548×distribute-rgt-in
32582×*-commutative
Stop Event
42×saturated
122×node limit
22×fuel
20×done
Counts
54281 → 51991
Compiler

Compiled 8466 to 5630 computations (33.5% saved)

preprocess32.4s (6.8%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 30705 to 19245 computations (37.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
Operation ival-mult, time spent: 3.6s, 31.0% of total-time
Operation ival-pow, time spent: 2.0s, 18.0% of total-time
Operation ival-add, time spent: 1.7s, 15.0% of total-time
Operation ival-div, time spent: 1.6s, 14.0% of total-time
Operation ival-sub, time spent: 1.2s, 11.0% of total-time
Operation ival-tan, time spent: 338.0ms, 3.0% of total-time
Operation const, time spent: 334.0ms, 3.0% of total-time
Operation ival-sin, time spent: 249.0ms, 2.0% of total-time
Operation ival-exp, time spent: 119.0ms, 1.0% of total-time
Operation ival-cos, time spent: 101.0ms, 1.0% of total-time
Operation ival-neg, time spent: 84.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 68.0ms, 1.0% of total-time
Operation ival-log, time spent: 65.0ms, 1.0% of total-time
Operation ival-atan, time spent: 26.0ms, 0.0% of total-time
Operation composed, time spent: 23.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness27.4s (5.8%)

Rules
40254×fma-define
27347×fma-neg
26459×distribute-lft-in
24949×log1p-expm1-u
24044×distribute-rgt-in
Stop Event
8×saturated
123×node limit
Compiler

Compiled 21711 to 14286 computations (34.2% saved)

rewrite25.8s (5.5%)

Algorithm
122×batch-egg-rewrite
Rules
69352×log1p-expm1-u
57389×expm1-log1p-u
25446×pow1
23084×add-exp-log
22186×add-log-exp
Stop Event
122×node limit
Counts
945 → 34744

prune24.0s (5.1%)

Counts
86622 → 1950
Compiler

Compiled 75900 to 52350 computations (31% saved)

bsearch13.0s (2.7%)

Algorithm
247×binary-search
29×left-value
Stop Event
15×predicate-same
232×narrow-enough
Results
5.8s20048×256valid
3.0s5765×256infinite
337.0ms2548×256invalid
1.1s2167×1024valid
340.0ms968×512valid
357.0ms329×2048valid
8.0ms46×256unsamplable
38.0ms14×4096valid
5.0ms13×512infinite
5.0ms8×1024infinite
Compiler

Compiled 73963 to 52269 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0s
Operation ival-mult, time spent: 2.6s, 38.0% of total-time
Operation ival-div, time spent: 1.2s, 17.0% of total-time
Operation ival-add, time spent: 1.1s, 16.0% of total-time
Operation ival-sub, time spent: 902.0ms, 13.0% of total-time
Operation ival-pow, time spent: 851.0ms, 12.0% of total-time
Operation const, time spent: 188.0ms, 3.0% of total-time
Operation ival-neg, time spent: 51.0ms, 1.0% of total-time
Operation ival-exp, time spent: 43.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 29.0ms, 0.0% of total-time

analyze12.3s (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.9s
Operation ival-add, time spent: 1.8s, 20.0% of total-time
Operation ival-pow, time spent: 1.5s, 17.0% of total-time
Operation ival-div, time spent: 1.3s, 15.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 13.0% of total-time
Operation ival-mult, time spent: 1.1s, 13.0% of total-time
Operation ival-sub, time spent: 895.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 438.0ms, 5.0% of total-time
Operation const, time spent: 231.0ms, 3.0% of total-time
Operation ival-exp, time spent: 109.0ms, 1.0% of total-time
Operation ival-<=, time spent: 105.0ms, 1.0% of total-time
Operation ival-if, time spent: 67.0ms, 1.0% of total-time
Operation ival-==, time spent: 67.0ms, 1.0% of total-time
Operation ival-neg, time spent: 31.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: 7.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

regimes8.3s (1.7%)

Counts
4444 → 527
Calls

94 calls:

974.0ms
x1
727.0ms
c
702.0ms
x
663.0ms
b
458.0ms
n
Compiler

Compiled 3998 to 2864 computations (28.4% saved)

series4.7s (1%)

Counts
945 → 19537
Calls

4863 calls:

TimeVariablePointExpression
238.0ms
x
@inf
(sqrt (/ (- 1 x) (+ 1 x)))
125.0ms
e
@-inf
(+ e (+ d (+ b c)))
81.0ms
x
@0
(/ 1 (sqrt (+ (* x x) (* y y))))
76.0ms
c
@inf
(/ (* a (+ b c)) d)
63.0ms
t
@inf
(+ (+ 3 (/ -2 (+ t 1))) -1)

end19.0ms (0%)

Profiling

Loading profile data...