Herbie run

Date:Thursday, May 23rd, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024144
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: 7.3min)

sample1.6min (22.4%)

Results
41.9s221328×0valid
14.3s28900×1valid
10.4s64939×0invalid
4.5s13978×1invalid
3.7s6769×2valid
3.2s6294×3valid
745.0ms897×4valid
415.0ms969×2invalid
34.0ms248×0unsamplable
4.0ms5×5exit
3.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 17.0s (28.1% of total)
ival-div: 8.1s (13.4% of total)
ival-pow: 7.3s (12.1% of total)
ival-tan: 4.6s (7.5% of total)
ival-sub: 3.6s (6% of total)
ival-add: 3.6s (6% of total)
ival-sqrt: 3.3s (5.5% of total)
ival-exp: 2.6s (4.3% of total)
ival-sin: 2.1s (3.4% of total)
backward-pass: 2.0s (3.3% of total)
ival-cos: 1.1s (1.8% of total)
ival-neg: 957.0ms (1.6% of total)
ival-pi: 851.0ms (1.4% of total)
const: 671.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 619.0ms (1% of total)
ival-acos: 529.0ms (0.9% of total)
ival-log: 437.0ms (0.7% of total)
ival-asin: 380.0ms (0.6% of total)
ival-fabs: 348.0ms (0.6% of total)
ival-hypot: 274.0ms (0.5% of total)
ival-<: 84.0ms (0.1% of total)
ival-atan: 83.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.4min (19%)

Algorithm
286×egg-herbie
Rules
111922×fma-define
66317×fma-neg
62595×times-frac
58666×associate-*r*
55267×distribute-lft-in
Stop Event
76×saturated
210×node limit
Counts
94154 → 78213

soundness57.9s (13.2%)

Rules
51780×fma-define
44454×log1p-expm1-u
37401×times-frac
34920×associate-*r*
33627×expm1-log1p-u
Stop Event
8×saturated
170×node limit
29×fuel
1×unsound
3×done
Compiler

Compiled 40327 to 12592 computations (68.8% saved)

localize37.6s (8.6%)

Results
10.9s21392×0valid
5.2s4398×1valid
3.5s782×5exit
2.9s4205×0invalid
2.4s608×3valid
1.6s860×2valid
713.0ms115×4valid
54.0ms152×0unsamplable
Compiler

Compiled 36649 to 4245 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.7s
ival-mult: 3.6s (21.6% of total)
ival-pow: 2.6s (15.6% of total)
ival-div: 2.2s (13.3% of total)
backward-pass: 1.2s (7.2% of total)
ival-tan: 1.1s (6.6% of total)
ival-fma: 809.0ms (4.8% of total)
ival-sin: 746.0ms (4.5% of total)
ival-cos: 687.0ms (4.1% of total)
ival-sqrt: 653.0ms (3.9% of total)
ival-sub: 646.0ms (3.9% of total)
ival-add: 562.0ms (3.4% of total)
ival-log: 318.0ms (1.9% of total)
ival-expm1: 264.0ms (1.6% of total)
ival-hypot: 243.0ms (1.5% of total)
ival-acos: 176.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 152.0ms (0.9% of total)
ival-cbrt: 143.0ms (0.9% of total)
ival-exp: 123.0ms (0.7% of total)
const: 117.0ms (0.7% of total)
ival-asin: 95.0ms (0.6% of total)
ival-log1p: 80.0ms (0.5% of total)
ival-neg: 67.0ms (0.4% of total)
ival-pi: 48.0ms (0.3% of total)
ival-atan: 30.0ms (0.2% of total)
ival-fabs: 19.0ms (0.1% of total)

rewrite33.5s (7.6%)

Algorithm
127×batch-egg-rewrite
Rules
71162×log1p-expm1-u
54581×expm1-log1p-u
32999×pow1
32568×add-exp-log
32138×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
1891 → 49649

prune27.2s (6.2%)

Counts
112073 → 3166
Compiler

Compiled 144830 to 81044 computations (44% saved)

eval21.9s (5%)

Compiler

Compiled 3440046 to 462743 computations (86.5% saved)

series17.1s (3.9%)

Counts
1891 → 44505
Calls

12171 calls:

TimeVariablePointExpression
440.0ms
h
@0
(cbrt (sqrt (* (pow M 2) (* (/ h l) -1/4))))
316.0ms
k
@-inf
(/ 2 (pow (* (/ t (pow (cbrt l) 2)) (* (cbrt (* 2 k)) (cbrt k))) 3))
224.0ms
x
@inf
(/ -1 (/ (tan B) x))
219.0ms
l
@0
(cbrt (sqrt (* (pow M 2) (* (/ h l) -1/4))))
210.0ms
M
@-inf
(sqrt (* (* (/ (pow D 2) (pow d 2)) (/ (* (pow M 2) h) l)) -1/4))

regimes17.0s (3.9%)

Counts
9636 → 668
Calls

156 calls:

1.5s
l
893.0ms
t
860.0ms
k
495.0ms
M
438.0ms
J
Compiler

Compiled 8130 to 6032 computations (25.8% saved)

bsearch14.3s (3.2%)

Algorithm
281×binary-search
66×left-value
Stop Event
8×predicate-same
273×narrow-enough
Results
7.2s30936×0valid
2.3s7902×0invalid
436.0ms1144×1valid
338.0ms677×2valid
199.0ms167×3valid
43.0ms173×1invalid
37.0ms83×2invalid
37.0ms52×4valid
Compiler

Compiled 77960 to 56535 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-pow: 2.3s (28.5% of total)
ival-mult: 1.9s (24% of total)
ival-div: 1.5s (18% of total)
ival-sub: 484.0ms (6% of total)
ival-sin: 402.0ms (5% of total)
ival-add: 388.0ms (4.8% of total)
ival-tan: 306.0ms (3.8% of total)
ival-sqrt: 228.0ms (2.8% of total)
ival-neg: 169.0ms (2.1% of total)
ival-exp: 104.0ms (1.3% of total)
backward-pass: 85.0ms (1.1% of total)
ival-cos: 83.0ms (1% of total)
const: 73.0ms (0.9% of total)
ival-hypot: 23.0ms (0.3% of total)
...c/correct-round.rkt:121:19: 18.0ms (0.2% of total)
ival-atan: 7.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)
ival-asin: 4.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

analyze12.5s (2.9%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-mult: 2.2s (31.1% of total)
ival-pow: 1.4s (19.2% of total)
ival-div: 1.1s (15% of total)
ival-add: 633.0ms (8.8% of total)
ival-sqrt: 578.0ms (8% of total)
ival-sub: 389.0ms (5.4% of total)
ival-sin: 186.0ms (2.6% of total)
ival-tan: 138.0ms (1.9% of total)
...c/correct-round.rkt:121:19: 122.0ms (1.7% of total)
const: 80.0ms (1.1% of total)
ival-neg: 77.0ms (1.1% of total)
ival-exp: 64.0ms (0.9% of total)
ival-<: 57.0ms (0.8% of total)
ival-acos: 49.0ms (0.7% of total)
ival-cos: 25.0ms (0.3% of total)
ival-pi: 23.0ms (0.3% of total)
ival-asin: 20.0ms (0.3% of total)
ival-fabs: 19.0ms (0.3% of total)
backward-pass: 17.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

explain9.6s (2.2%)

Results
3.1s13132×0valid
1.9s2260×1valid
519.0ms494×2valid
319.0ms418×3valid
66.0ms62×4valid
15.0ms18×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0s
ival-mult: 752.0ms (18.7% of total)
ival-div: 752.0ms (18.7% of total)
ival-log: 418.0ms (10.4% of total)
ival-tan: 363.0ms (9% of total)
ival-pow: 362.0ms (9% of total)
ival-add: 244.0ms (6.1% of total)
ival-sub: 190.0ms (4.7% of total)
backward-pass: 183.0ms (4.5% of total)
ival-exp: 176.0ms (4.4% of total)
ival-pi: 158.0ms (3.9% of total)
ival-sin: 111.0ms (2.8% of total)
ival-sqrt: 110.0ms (2.7% of total)
ival-cos: 67.0ms (1.7% of total)
const: 38.0ms (0.9% of total)
ival-neg: 29.0ms (0.7% of total)
ival-acos: 29.0ms (0.7% of total)
ival-hypot: 18.0ms (0.4% of total)
...c/correct-round.rkt:121:19: 12.0ms (0.3% of total)
ival-asin: 9.0ms (0.2% of total)
ival-atan: 7.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

preprocess8.9s (2%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 46594 to 20104 computations (56.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...