Herbie run

Date:Thursday, May 23rd, 2024
Commit:f940d267 on brett-blog-post
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%)

Results
40.4s221328×0valid
14.1s28900×1valid
9.7s64939×0invalid
5.7s13978×1invalid
3.8s6294×3valid
3.4s6769×2valid
943.0ms897×4valid
336.0ms969×2invalid
35.0ms248×0unsamplable
5.0ms5×5exit
3.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 59.6s
ival-mult: 15.1s (25.2% of total)
ival-div: 8.8s (14.8% of total)
ival-pow: 6.6s (11.1% of total)
ival-sub: 4.5s (7.5% of total)
ival-tan: 4.3s (7.2% of total)
ival-sqrt: 3.7s (6.1% of total)
ival-add: 2.8s (4.7% of total)
ival-sin: 2.8s (4.7% of total)
backward-pass: 2.2s (3.7% of total)
ival-exp: 2.1s (3.6% of total)
ival-cos: 1.3s (2.2% of total)
ival-neg: 1.0s (1.8% of total)
ival-acos: 1.0s (1.7% of total)
...c/correct-round.rkt:121:19: 781.0ms (1.3% of total)
const: 689.0ms (1.2% of total)
ival-pi: 641.0ms (1.1% of total)
ival-asin: 397.0ms (0.7% of total)
ival-log: 369.0ms (0.6% of total)
ival-hypot: 281.0ms (0.5% of total)
ival-fabs: 112.0ms (0.2% of total)
ival-atan: 90.0ms (0.2% of total)
ival-<: 74.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

soundness59.1s (13.5%)

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.9s (8.6%)

Results
10.9s21392×0valid
4.9s4398×1valid
3.6s782×5exit
3.3s4205×0invalid
2.8s608×3valid
1.4s860×2valid
852.0ms115×4valid
137.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.8% of total)
ival-div: 2.6s (15.9% of total)
ival-pow: 1.8s (10.6% of total)
ival-tan: 1.3s (7.6% of total)
backward-pass: 1.2s (7.3% of total)
ival-sqrt: 813.0ms (4.9% of total)
ival-sin: 660.0ms (4% of total)
ival-sub: 648.0ms (3.9% of total)
ival-add: 590.0ms (3.5% of total)
ival-expm1: 537.0ms (3.2% of total)
ival-cos: 434.0ms (2.6% of total)
ival-fma: 422.0ms (2.5% of total)
ival-hypot: 367.0ms (2.2% of total)
ival-log: 334.0ms (2% of total)
...c/correct-round.rkt:121:19: 244.0ms (1.5% of total)
ival-log1p: 227.0ms (1.4% of total)
ival-acos: 212.0ms (1.3% of total)
ival-cbrt: 154.0ms (0.9% of total)
ival-exp: 130.0ms (0.8% of total)
const: 121.0ms (0.7% of total)
ival-asin: 97.0ms (0.6% of total)
ival-neg: 68.0ms (0.4% of total)
ival-pi: 42.0ms (0.3% of total)
ival-atan: 35.0ms (0.2% of total)
ival-fabs: 18.0ms (0.1% of total)

rewrite33.4s (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.7s (6.3%)

Counts
112073 → 3166
Compiler

Compiled 144830 to 81044 computations (44% saved)

eval22.6s (5.1%)

Compiler

Compiled 3440046 to 462743 computations (86.5% saved)

series17.4s (4%)

Counts
1891 → 44505
Calls

12171 calls:

TimeVariablePointExpression
382.0ms
h
@-inf
(sqrt (- 1 (* (pow (* D (/ (/ M 2) d)) 2) (/ h l))))
315.0ms
l
@-inf
(/ (pow t 2) l)
195.0ms
w0
@0
(* w0 (* (/ D d) (* (cbrt (* (pow M 2) (* (/ h l) -1/4))) (cbrt (sqrt (* (pow M 2) (* (/ h l) -1/4)))))))
158.0ms
t
@0
(cbrt (- t (+ (* (* 2 l) (/ l Om)) (* n (* (pow (/ l Om) 2) (- U U*))))))
148.0ms
f
@0
(* (log (+ (/ (/ 2 f) (PI)) (/ -1 (- (exp (* (* -1/2 f) (PI))) 1)))) (/ -4 (PI)))

regimes16.3s (3.7%)

Counts
9636 → 668
Calls

156 calls:

1.3s
l
951.0ms
k
667.0ms
t
463.0ms
F
413.0ms
d
Compiler

Compiled 8130 to 6032 computations (25.8% saved)

bsearch14.7s (3.4%)

Algorithm
281×binary-search
66×left-value
Stop Event
8×predicate-same
273×narrow-enough
Results
7.8s30936×0valid
1.6s7902×0invalid
534.0ms677×2valid
425.0ms1144×1valid
200.0ms167×3valid
60.0ms52×4valid
37.0ms173×1invalid
33.0ms83×2invalid
Compiler

Compiled 77960 to 56535 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-mult: 1.9s (25.4% of total)
ival-div: 1.6s (21.5% of total)
ival-pow: 1.6s (20.8% of total)
ival-tan: 517.0ms (6.9% of total)
ival-add: 432.0ms (5.8% of total)
ival-sin: 324.0ms (4.3% of total)
ival-sub: 311.0ms (4.1% of total)
ival-exp: 181.0ms (2.4% of total)
ival-sqrt: 179.0ms (2.4% of total)
ival-neg: 135.0ms (1.8% of total)
ival-cos: 89.0ms (1.2% of total)
backward-pass: 88.0ms (1.2% of total)
const: 79.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 64.0ms (0.9% of total)
ival-hypot: 15.0ms (0.2% of total)
ival-atan: 8.0ms (0.1% of total)
ival-pi: 7.0ms (0.1% of total)
ival-asin: 4.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

analyze12.5s (2.8%)

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: 6.5s
ival-mult: 2.1s (32.3% of total)
ival-pow: 1.2s (18.4% of total)
ival-div: 935.0ms (14.4% of total)
ival-sub: 536.0ms (8.3% of total)
ival-sqrt: 421.0ms (6.5% of total)
ival-add: 340.0ms (5.2% of total)
ival-sin: 268.0ms (4.1% of total)
ival-tan: 140.0ms (2.2% of total)
...c/correct-round.rkt:121:19: 104.0ms (1.6% of total)
ival-acos: 93.0ms (1.4% of total)
const: 82.0ms (1.3% of total)
ival-neg: 73.0ms (1.1% of total)
ival-exp: 52.0ms (0.8% of total)
ival-pi: 27.0ms (0.4% of total)
ival-<: 26.0ms (0.4% of total)
ival-cos: 22.0ms (0.3% of total)
ival-asin: 22.0ms (0.3% of total)
ival-fabs: 20.0ms (0.3% of total)
backward-pass: 17.0ms (0.3% 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)

preprocess9.2s (2.1%)

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)

explain8.5s (1.9%)

Results
3.0s13132×0valid
1.9s2260×1valid
446.0ms418×3valid
400.0ms494×2valid
69.0ms62×4valid
17.0ms18×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 757.0ms (22.9% of total)
backward-pass: 343.0ms (10.4% of total)
ival-tan: 334.0ms (10.1% of total)
ival-pow: 310.0ms (9.4% of total)
ival-sub: 304.0ms (9.2% of total)
ival-add: 275.0ms (8.3% of total)
ival-div: 273.0ms (8.3% of total)
ival-neg: 171.0ms (5.2% of total)
ival-sin: 107.0ms (3.2% of total)
ival-sqrt: 104.0ms (3.1% of total)
ival-exp: 85.0ms (2.6% of total)
ival-cos: 71.0ms (2.1% of total)
const: 40.0ms (1.2% of total)
ival-pi: 33.0ms (1% of total)
ival-acos: 30.0ms (0.9% of total)
ival-hypot: 19.0ms (0.6% of total)
ival-log: 14.0ms (0.4% of total)
...c/correct-round.rkt:121:19: 12.0ms (0.4% of total)
ival-asin: 9.0ms (0.3% of total)
ival-atan: 7.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...