Herbie run

Date:Friday, April 19th, 2024
Commit:a62871db on main
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 9.0min)

localize2.5min (27.7%)

Algorithm
511×egg-herbie
Rules
149560×fma-define
113780×fma-neg
60455×distribute-lft-in
54386×distribute-rgt-in
50384×unsub-neg
Stop Event
356×saturated
155×node limit
Results
23.1s31024×0valid
26.0s3058×1valid
25.8s1525×5exit
13.5s1137×2valid
935.0ms1020×0invalid
2.3s74×3valid
40.0ms50×0unsamplable
Compiler

Compiled 32873 to 20397 computations (38% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 22.3s (28.8% of total)
backward-pass: 13.1s (16.9% of total)
ival-pow: 9.5s (12.2% of total)
ival-add: 8.6s (11.1% of total)
ival-div: 7.3s (9.4% of total)
ival-sub: 5.9s (7.6% of total)
ival-fma: 3.0s (3.9% of total)
ival-log1p: 2.1s (2.7% of total)
ival-expm1: 1.8s (2.3% of total)
const: 1.4s (1.8% of total)
ival-exp: 702.0ms (0.9% of total)
ival-sqrt: 595.0ms (0.8% of total)
ival-cbrt: 377.0ms (0.5% of total)
ival-neg: 296.0ms (0.4% of total)
ival-sin: 266.0ms (0.3% of total)
ival-tan: 156.0ms (0.2% of total)
ival-hypot: 84.0ms (0.1% of total)
ival-log: 65.0ms (0.1% of total)
ival-cos: 58.0ms (0.1% of total)
ival-atan: 56.0ms (0.1% of total)
ival-pi: 8.0ms (0% of total)
ival-e: 2.0ms (0% of total)

sample1.6min (18%)

Results
42.0s276568×0valid
22.0s57265×1valid
7.8s12850×2valid
444.0ms4366×0invalid
236.0ms961×0unsamplable
2.1s202×5exit
25.0ms69×3valid
Precisions
Click to see histograms. Total time spent on operations: 57.0s
ival-mult: 13.4s (23.5% of total)
ival-pow: 7.7s (13.5% of total)
ival-add: 7.6s (13.3% of total)
ival-div: 6.8s (11.9% of total)
ival-sub: 4.3s (7.6% of total)
backward-pass: 3.8s (6.7% of total)
ival-<=: 3.5s (6.2% of total)
ival-sin: 2.3s (4.1% of total)
ival-exp: 1.4s (2.4% of total)
const: 1.2s (2.1% of total)
ival-neg: 980.0ms (1.7% of total)
ival-cos: 864.0ms (1.5% of total)
ival-log: 738.0ms (1.3% of total)
ival-sqrt: 732.0ms (1.3% of total)
ival-and: 404.0ms (0.7% of total)
ival-tan: 341.0ms (0.6% of total)
ival-fma: 265.0ms (0.5% of total)
ival-==: 260.0ms (0.5% of total)
ival-<: 249.0ms (0.4% of total)
ival-atan: 84.0ms (0.1% of total)
ival-pi: 64.0ms (0.1% of total)
ival-fabs: 30.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
Bogosity

eval55.5s (10.3%)

Compiler

Compiled 3164015 to 2114037 computations (33.2% saved)

simplify53.1s (9.8%)

Algorithm
185×egg-herbie
Rules
46424×fma-define
44093×fma-neg
40440×distribute-lft-in
36225×*-commutative
35516×distribute-rgt-in
Stop Event
42×saturated
142×node limit
1×unsound
Counts
75422 → 71888

soundness38.8s (7.2%)

Rules
39393×log1p-expm1-u
36972×fma-define
31452×fma-neg
30677×expm1-log1p-u
27423×distribute-lft-in
Stop Event
8×saturated
147×node limit
24×fuel
1×unsound
18×done
Compiler

Compiled 29990 to 18450 computations (38.5% saved)

prune37.8s (7%)

Counts
110393 → 2151
Compiler

Compiled 77771 to 55158 computations (29.1% saved)

rewrite33.1s (6.1%)

Algorithm
143×batch-egg-rewrite
Rules
85646×log1p-expm1-u
68299×expm1-log1p-u
29747×pow1
28444×add-exp-log
27189×add-log-exp
Stop Event
143×node limit
Counts
1508 → 48667

explain22.3s (4.1%)

Results
5.9s16218×0valid
7.8s4142×1valid
3.2s1136×2valid
95.0ms8×3valid
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0s
ival-mult: 5.6s (40% of total)
ival-pow: 1.8s (13.1% of total)
ival-div: 1.5s (10.7% of total)
ival-sub: 1.4s (9.9% of total)
backward-pass: 1.3s (9.6% of total)
ival-add: 1.2s (8.4% of total)
ival-neg: 350.0ms (2.5% of total)
const: 280.0ms (2% of total)
ival-exp: 133.0ms (1% of total)
ival-sin: 119.0ms (0.9% of total)
ival-cos: 115.0ms (0.8% of total)
ival-log: 58.0ms (0.4% of total)
ival-sqrt: 57.0ms (0.4% of total)
ival-fma: 17.0ms (0.1% of total)
ival-atan: 10.0ms (0.1% of total)
ival-tan: 7.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

analyze12.7s (2.3%)

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
35.2%19.2%35.3%45.5%0%0%0%2
48.7%25.7%27.1%45.5%0%1.7%0%3
57.8%30.5%22.3%45.5%0%1.8%0%4
71.3%37.5%15.1%45.6%0%1.8%0%5
73%38.4%14.2%45.6%0%1.8%0%6
77.9%40.7%11.5%45.6%0%2.1%0%7
81.5%42.5%9.7%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.2%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: 9.0s
ival-add: 1.8s (20.5% of total)
ival-sqrt: 1.6s (17.4% of total)
ival-mult: 1.3s (14.5% of total)
ival-pow: 1.2s (13.8% of total)
ival-sub: 1.1s (12.5% of total)
ival-div: 844.0ms (9.4% of total)
ival-fabs: 408.0ms (4.5% of total)
ival-exp: 187.0ms (2.1% of total)
const: 144.0ms (1.6% of total)
ival-<=: 117.0ms (1.3% of total)
ival-if: 56.0ms (0.6% of total)
ival-==: 53.0ms (0.6% of total)
ival-<: 35.0ms (0.4% of total)
ival-neg: 26.0ms (0.3% of total)
ival-pi: 23.0ms (0.3% of total)
ival-and: 15.0ms (0.2% of total)
backward-pass: 11.0ms (0.1% of total)
ival-cos: 1.0ms (0% of total)
ival-atan: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch12.0s (2.2%)

Algorithm
275×binary-search
35×left-value
Stop Event
16×predicate-same
259×narrow-enough
Results
6.1s30654×0valid
1.5s3124×1valid
185.0ms1508×0invalid
811.0ms478×2valid
35.0ms220×0unsamplable
Compiler

Compiled 62982 to 46656 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 2.4s (35.7% of total)
ival-add: 1.2s (18.4% of total)
ival-div: 1.0s (15.8% of total)
ival-sub: 688.0ms (10.4% of total)
backward-pass: 385.0ms (5.8% of total)
ival-pow: 365.0ms (5.5% of total)
ival-exp: 235.0ms (3.6% of total)
const: 137.0ms (2.1% of total)
ival-neg: 122.0ms (1.8% of total)
ival-sqrt: 51.0ms (0.8% of total)

preprocess10.9s (2%)

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 20510 to 12662 computations (38.3% saved)

regimes10.2s (1.9%)

Counts
4560 → 599
Calls

96 calls:

1.3s
x
1.2s
c
907.0ms
x1
806.0ms
b
725.0ms
a
Compiler

Compiled 4383 to 3106 computations (29.1% saved)

series7.0s (1.3%)

Counts
1508 → 26755
Calls

7176 calls:

TimeVariablePointExpression
273.0ms
x
@inf
(/ (- x y) (+ y (* x (- (/ x y) 1))))
228.0ms
b
@-inf
(/ (+ (/ 1 a) (/ -1 b)) (- (* b b) (* a a)))
134.0ms
c
@0
(/ (- (neg b) (sqrt (- (* b b) (pow (cbrt (* a (* c 4))) 3)))) (* a 2))
132.0ms
b
@inf
(sqrt (- (* b b) (* (pow (* 2 (sqrt c)) 2) a)))
125.0ms
a
@inf
(- (* b (/ -1/2 a)) (* (sqrt (+ (* a (* c -4)) (pow b 2))) (/ 1/2 a)))

end0.0ms (0%)

Profiling

Loading profile data...