Herbie run

Date:Saturday, May 18th, 2024
Commit:fffc84a6 on zane-better-job-hash
Hostname:nightly with Racket 8.11.1
Seed:2024139
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 6.3min)

sample1.4min (22.2%)

Results
37.1s275616×0valid
18.9s54566×1valid
8.6s16474×2valid
639.0ms4371×0invalid
505.0ms202×5exit
215.0ms952×0unsamplable
105.0ms96×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.9s
ival-mult: 11.0s (21.6% of total)
ival-pow: 6.7s (13.2% of total)
ival-add: 5.1s (10% of total)
ival-div: 4.9s (9.6% of total)
ival-sub: 4.3s (8.5% of total)
ival-<=: 4.0s (7.8% of total)
...c/correct-round.rkt:121:19: 3.5s (6.8% of total)
ival-sin: 2.7s (5.3% of total)
backward-pass: 2.4s (4.7% of total)
ival-exp: 1.0s (2% of total)
ival-neg: 880.0ms (1.7% of total)
ival-log: 796.0ms (1.6% of total)
ival-cos: 741.0ms (1.5% of total)
const: 696.0ms (1.4% of total)
ival-sqrt: 680.0ms (1.3% of total)
ival-and: 416.0ms (0.8% of total)
ival-==: 411.0ms (0.8% of total)
ival-fma: 286.0ms (0.6% of total)
ival-atan: 156.0ms (0.3% of total)
ival-<: 109.0ms (0.2% of total)
ival-tan: 60.0ms (0.1% of total)
ival-pi: 39.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
ival-fabs: 6.0ms (0% of total)
Bogosity

simplify1.3min (20.3%)

Algorithm
336×egg-herbie
Rules
114196×fma-define
93467×fma-neg
74692×distribute-lft-in
61190×distribute-rgt-in
57512×times-frac
Stop Event
108×saturated
227×node limit
1×unsound
Counts
79291 → 75147

soundness39.1s (10.4%)

Rules
39157×fma-define
37388×log1p-expm1-u
31768×fma-neg
30159×expm1-log1p-u
26697×distribute-lft-in
Stop Event
8×saturated
137×node limit
26×fuel
1×unsound
16×done
Compiler

Compiled 35671 to 9405 computations (73.6% saved)

localize39.0s (10.3%)

Results
12.0s30438×0valid
7.4s1369×5exit
4.6s3473×1valid
3.7s1604×2valid
447.0ms1034×0invalid
393.0ms109×3valid
45.0ms115×0unsamplable
20.0ms2×5valid
Compiler

Compiled 34277 to 3498 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.4s
ival-mult: 3.4s (20.9% of total)
ival-pow: 2.4s (14.8% of total)
ival-div: 2.4s (14.4% of total)
backward-pass: 1.7s (10.6% of total)
ival-add: 1.2s (7.6% of total)
ival-sub: 1.0s (6.1% of total)
ival-exp: 670.0ms (4.1% of total)
ival-log1p: 655.0ms (4% of total)
...c/correct-round.rkt:121:19: 608.0ms (3.7% of total)
ival-neg: 373.0ms (2.3% of total)
ival-fma: 330.0ms (2% of total)
ival-expm1: 296.0ms (1.8% of total)
ival-sqrt: 275.0ms (1.7% of total)
ival-sin: 238.0ms (1.4% of total)
ival-log: 149.0ms (0.9% of total)
ival-tan: 145.0ms (0.9% of total)
const: 119.0ms (0.7% of total)
ival-hypot: 107.0ms (0.7% of total)
ival-atan: 98.0ms (0.6% of total)
ival-cos: 73.0ms (0.4% of total)
ival-cbrt: 57.0ms (0.3% of total)
ival-e: 7.0ms (0% of total)
ival-pi: 5.0ms (0% of total)

rewrite38.0s (10.1%)

Algorithm
145×batch-egg-rewrite
Rules
90347×log1p-expm1-u
70564×expm1-log1p-u
31135×pow1
29213×add-exp-log
27906×add-log-exp
Stop Event
145×node limit
Counts
1574 → 51635

prune26.6s (7.1%)

Counts
114351 → 2227
Compiler

Compiled 85953 to 42903 computations (50.1% saved)

eval24.5s (6.5%)

Compiler

Compiled 3373708 to 439264 computations (87% saved)

preprocess11.1s (2.9%)

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 22990 to 7414 computations (67.8% saved)

explain8.8s (2.3%)

Results
2.2s16250×0valid
1.7s3848×1valid
734.0ms1396×2valid
20.0ms10×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 581.0ms (24.7% of total)
ival-pow: 314.0ms (13.3% of total)
ival-sub: 299.0ms (12.7% of total)
ival-add: 287.0ms (12.2% of total)
backward-pass: 210.0ms (8.9% of total)
ival-div: 206.0ms (8.7% of total)
ival-sin: 114.0ms (4.8% of total)
ival-fma: 64.0ms (2.7% of total)
ival-exp: 48.0ms (2% of total)
...c/correct-round.rkt:121:19: 47.0ms (2% of total)
const: 45.0ms (1.9% of total)
ival-log: 43.0ms (1.8% of total)
ival-cos: 34.0ms (1.4% of total)
ival-neg: 26.0ms (1.1% of total)
ival-sqrt: 26.0ms (1.1% of total)
ival-atan: 6.0ms (0.3% of total)
ival-tan: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch8.6s (2.3%)

Algorithm
270×binary-search
20×left-value
Stop Event
38×predicate-same
232×narrow-enough
Results
4.3s27709×0valid
1.1s4032×1valid
216.0ms547×2valid
139.0ms1775×0invalid
32.0ms244×0unsamplable
Compiler

Compiled 76305 to 46000 computations (39.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.3s
ival-mult: 1.4s (32.1% of total)
ival-div: 750.0ms (17.5% of total)
ival-add: 598.0ms (13.9% of total)
ival-sub: 557.0ms (13% of total)
ival-pow: 525.0ms (12.2% of total)
ival-exp: 193.0ms (4.5% of total)
backward-pass: 95.0ms (2.2% of total)
ival-neg: 82.0ms (1.9% of total)
const: 60.0ms (1.4% of total)
ival-sqrt: 52.0ms (1.2% of total)
ival-pi: 4.0ms (0.1% of total)

series7.9s (2.1%)

Counts
1574 → 27656
Calls

7329 calls:

TimeVariablePointExpression
247.0ms
x2
@inf
(+ (* -6 x2) (* x1 (- (* x1 (+ 9 (* x1 -19))) 1)))
193.0ms
x2
@0
(+ (* 3 (/ (- (* 3 (* x1 x1)) (+ (* 2 x2) x1)) (+ (* x1 x1) 1))) (+ x1 (+ (* (+ (* x1 x1) 1) (+ (* x1 (* x1 (+ (* (/ (- (+ (* x1 (* x1 3)) (* 2 x2)) x1) (+ (* x1 x1) 1)) 4) -6))) (* (* x1 (* 2 (/ (- (+ (* x1 (* x1 3)) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (/ (- (+ (* x1 (* x1 3)) (* 2 x2)) x1) (+ (* x1 x1) 1)) -3)))) (+ (* (* 3 (* x1 x1)) (/ (- (+ (* x1 (* x1 3)) (* 2 x2)) x1) (+ (* x1 x1) 1))) (pow x1 3)))))
185.0ms
y
@0
(pow (* (pow y 18) 512) 1/9)
145.0ms
b
@0
(/ (neg b) (pow (cbrt a) 2))
104.0ms
x
@0
(* 9 (pow x 4))

regimes7.6s (2%)

Counts
5265 → 586
Calls

96 calls:

960.0ms
x
500.0ms
b
449.0ms
a
377.0ms
x1
282.0ms
y
Compiler

Compiled 4479 to 2735 computations (38.9% saved)

analyze5.7s (1.5%)

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
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%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 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 682.0ms (19.9% of total)
ival-pow: 544.0ms (15.9% of total)
ival-add: 409.0ms (11.9% of total)
ival-sub: 378.0ms (11% of total)
ival-div: 341.0ms (9.9% of total)
...c/correct-round.rkt:121:19: 286.0ms (8.3% of total)
ival-<=: 153.0ms (4.5% of total)
ival-exp: 134.0ms (3.9% of total)
ival-sqrt: 104.0ms (3% of total)
ival-pi: 93.0ms (2.7% of total)
ival-if: 70.0ms (2% of total)
ival-fabs: 52.0ms (1.5% of total)
ival-==: 47.0ms (1.4% of total)
const: 44.0ms (1.3% of total)
ival-and: 29.0ms (0.8% of total)
ival-<: 27.0ms (0.8% of total)
ival-neg: 26.0ms (0.8% of total)
backward-pass: 7.0ms (0.2% of total)
ival-cos: 2.0ms (0.1% of total)
ival-log: 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)

end0.0ms (0%)

Profiling

Loading profile data...