Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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.5min)

sample1.5min (22.6%)

Results
40.1s275893×0valid
20.4s54369×1valid
9.2s16397×2valid
742.0ms4250×0invalid
407.0ms202×5exit
219.0ms999×0unsamplable
26.0ms93×3valid
Precisions
Click to see histograms. Total time spent on operations: 53.7s
ival-mult: 12.1s (22.6% of total)
ival-add: 6.2s (11.5% of total)
ival-pow: 6.2s (11.5% of total)
ival-div: 5.2s (9.7% of total)
ival-<=: 4.8s (9% of total)
ival-sub: 4.2s (7.8% of total)
...c/correct-round.rkt:121:19: 3.6s (6.7% of total)
backward-pass: 2.4s (4.4% of total)
ival-sin: 2.3s (4.3% of total)
ival-exp: 1.2s (2.2% of total)
const: 740.0ms (1.4% of total)
ival-log: 735.0ms (1.4% of total)
ival-cos: 682.0ms (1.3% of total)
ival-==: 667.0ms (1.2% of total)
ival-sqrt: 614.0ms (1.1% of total)
ival-fma: 605.0ms (1.1% of total)
ival-neg: 572.0ms (1.1% of total)
ival-and: 443.0ms (0.8% of total)
ival-<: 195.0ms (0.4% of total)
ival-tan: 169.0ms (0.3% of total)
ival-atan: 82.0ms (0.2% of total)
ival-pi: 68.0ms (0.1% of total)
ival-fabs: 21.0ms (0% of total)
ival-if: 9.0ms (0% of total)
Bogosity

simplify1.2min (17.7%)

Algorithm
341×egg-herbie
Rules
119319×fma-define
90305×fma-neg
71948×distribute-lft-in
62069×times-frac
61761×distribute-rgt-in
Stop Event
108×saturated
232×node limit
1×unsound
Counts
76277 → 72332

soundness47.3s (12%)

Rules
42914×fma-define
36444×log1p-expm1-u
34692×fma-neg
32404×expm1-log1p-u
26012×distribute-lft-in
Stop Event
8×saturated
141×node limit
26×fuel
1×unsound
16×done
Compiler

Compiled 32238 to 8546 computations (73.5% saved)

rewrite36.5s (9.3%)

Algorithm
147×batch-egg-rewrite
Rules
89656×log1p-expm1-u
70118×expm1-log1p-u
31071×pow1
29094×add-exp-log
27662×add-log-exp
Stop Event
147×node limit
Counts
1543 → 49673

localize33.7s (8.6%)

Results
11.3s31422×0valid
6.6s1268×5exit
3.7s3635×1valid
1.8s949×2valid
764.0ms1375×0invalid
221.0ms40×3valid
65.0ms208×0unsamplable
15.0ms2×5valid
11.0ms12×1unsamplable
9.0ms1×4valid
Compiler

Compiled 33712 to 3472 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.5s
ival-mult: 2.8s (19% of total)
ival-div: 2.1s (14.3% of total)
ival-pow: 2.1s (14.2% of total)
backward-pass: 1.7s (11.5% of total)
ival-add: 1.6s (11.2% of total)
ival-log1p: 1.1s (7.7% of total)
ival-sub: 829.0ms (5.7% of total)
...c/correct-round.rkt:121:19: 744.0ms (5.1% of total)
ival-expm1: 356.0ms (2.5% of total)
ival-fma: 329.0ms (2.3% of total)
ival-exp: 173.0ms (1.2% of total)
ival-sin: 158.0ms (1.1% of total)
const: 120.0ms (0.8% of total)
ival-hypot: 119.0ms (0.8% of total)
ival-neg: 107.0ms (0.7% of total)
ival-sqrt: 92.0ms (0.6% of total)
ival-cos: 50.0ms (0.3% of total)
ival-cbrt: 46.0ms (0.3% of total)
ival-atan: 24.0ms (0.2% of total)
ival-pi: 19.0ms (0.1% of total)
ival-log: 15.0ms (0.1% of total)
ival-tan: 10.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

prune30.6s (7.8%)

Counts
109479 → 2133
Compiler

Compiled 81556 to 40442 computations (50.4% saved)

eval25.3s (6.4%)

Compiler

Compiled 3267222 to 418688 computations (87.2% saved)

series14.1s (3.6%)

Counts
1543 → 26604
Calls

7107 calls:

TimeVariablePointExpression
6.7s
x1
@inf
(/ (- (- (* (* 3 x1) x1) (- (exp (log (+ 1 (* 2 x2)))) 1)) x1) (+ (* x1 x1) 1))
506.0ms
n
@0
(* (- (exp (* n (log (+ 1 (/ i n))))) 1) 100)
115.0ms
x
@0
(* 4 (log x))
115.0ms
x
@-inf
(* 5 x)
97.0ms
c
@0
(/ (pow (cbrt (+ (* a c) (* b d))) 2) (sqrt (+ (* c c) (* d d))))

regimes13.3s (3.4%)

Counts
4836 → 620
Calls

96 calls:

6.8s
v
592.0ms
x
525.0ms
u
469.0ms
a
387.0ms
x1
Compiler

Compiled 4249 to 2608 computations (38.6% saved)

preprocess10.3s (2.6%)

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 24746 to 7718 computations (68.8% saved)

bsearch9.0s (2.3%)

Algorithm
307×binary-search
15×left-value
Stop Event
30×predicate-same
277×narrow-enough
Results
4.6s31090×0valid
1.5s5590×1valid
276.0ms552×2valid
90.0ms1182×0invalid
64.0ms453×0unsamplable
Compiler

Compiled 98194 to 55353 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.8s
ival-mult: 1.6s (32.6% of total)
ival-div: 776.0ms (16.2% of total)
ival-pow: 651.0ms (13.6% of total)
ival-add: 614.0ms (12.8% of total)
ival-sub: 503.0ms (10.5% of total)
backward-pass: 171.0ms (3.6% of total)
ival-exp: 167.0ms (3.5% of total)
ival-sqrt: 148.0ms (3.1% of total)
ival-neg: 120.0ms (2.5% of total)
const: 71.0ms (1.5% of total)
ival-log: 5.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

explain8.9s (2.3%)

Results
2.2s16200×0valid
1.9s3954×1valid
1.2s1332×2valid
23.0ms18×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 671.0ms (20.1% of total)
ival-div: 619.0ms (18.6% of total)
ival-add: 454.0ms (13.6% of total)
backward-pass: 368.0ms (11% of total)
ival-pow: 336.0ms (10.1% of total)
ival-log: 303.0ms (9.1% of total)
ival-sub: 173.0ms (5.2% of total)
ival-cos: 109.0ms (3.3% of total)
ival-sin: 87.0ms (2.6% of total)
const: 45.0ms (1.3% of total)
...c/correct-round.rkt:121:19: 45.0ms (1.3% of total)
ival-exp: 43.0ms (1.3% of total)
ival-neg: 26.0ms (0.8% of total)
ival-sqrt: 25.0ms (0.7% of total)
ival-fma: 17.0ms (0.5% of total)
ival-atan: 8.0ms (0.2% of total)
ival-tan: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

analyze5.8s (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.6s
ival-mult: 857.0ms (24% of total)
ival-pow: 639.0ms (17.9% of total)
ival-sub: 390.0ms (10.9% of total)
ival-div: 378.0ms (10.6% of total)
ival-add: 316.0ms (8.9% of total)
ival-<=: 278.0ms (7.8% of total)
ival-sqrt: 158.0ms (4.4% of total)
ival-<: 104.0ms (2.9% of total)
ival-exp: 91.0ms (2.6% of total)
ival-==: 87.0ms (2.4% of total)
ival-if: 57.0ms (1.6% of total)
ival-fabs: 54.0ms (1.5% of total)
...c/correct-round.rkt:121:19: 49.0ms (1.4% of total)
const: 44.0ms (1.2% of total)
ival-and: 29.0ms (0.8% of total)
ival-neg: 22.0ms (0.6% of total)
backward-pass: 7.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% 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...