Herbie run

Date:Friday, June 7th, 2024
Commit:78284123 on varun10p-ablationgraphs
Hostname:nightly with Racket 8.11.1
Seed:2024159
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:porules:lynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 8.1min)

sample1.6min (19.7%)

Results
35.2s225093×0valid
11.2s25158×1valid
10.3s65000×0invalid
8.1s12042×5exit
4.4s6476×3valid
3.4s10516×1invalid
3.2s6571×2valid
787.0ms886×4valid
268.0ms529×2invalid
35.0ms242×0unsamplable
7.0ms8×5valid
Precisions
Click to see histograms. Total time spent on operations: 56.7s
ival-mult: 14.3s (25.2% of total)
ival-div: 8.3s (14.7% of total)
ival-pow: 5.3s (9.3% of total)
backward-pass: 4.0s (7.1% of total)
ival-tan: 3.9s (6.9% of total)
ival-sqrt: 3.8s (6.6% of total)
ival-add: 3.7s (6.5% of total)
ival-sub: 3.6s (6.4% of total)
ival-sin: 1.8s (3.2% of total)
ival-exp: 1.8s (3.1% of total)
compiled-spec: 1.4s (2.4% of total)
ival-cos: 920.0ms (1.6% of total)
const: 804.0ms (1.4% of total)
ival-neg: 661.0ms (1.2% of total)
ival-acos: 597.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 546.0ms (1% of total)
ival-pi: 440.0ms (0.8% of total)
ival-log: 341.0ms (0.6% of total)
ival-asin: 216.0ms (0.4% of total)
ival-fabs: 113.0ms (0.2% of total)
ival-atan: 95.0ms (0.2% of total)
ival-<: 57.0ms (0.1% of total)
ival-and: 17.0ms (0% of total)
Bogosity

soundness1.4min (17.1%)

Rules
888224×*-lowering-*.f32
888224×*-lowering-*.f64
423300×/-lowering-/.f32
423300×/-lowering-/.f64
378662×+-lowering-+.f32
Stop Event
10×saturated
207×iter limit
196×node limit
30×fuel
2×done
Compiler

Compiled 44841 to 24948 computations (44.4% saved)

simplify1.2min (15.4%)

Algorithm
286×egg-herbie
Rules
990014×*-lowering-*.f32
990014×*-lowering-*.f64
465732×+-lowering-+.f32
465732×+-lowering-+.f64
347672×/-lowering-/.f64
Stop Event
253×iter limit
74×saturated
213×node limit
Counts
61800 → 61800

localize42.7s (8.8%)

Results
16.6s25033×0valid
7.7s923×5exit
5.1s2868×1valid
1.8s2314×0invalid
1.1s579×2valid
942.0ms382×3valid
388.0ms80×4valid
279.0ms331×0unsamplable
9.0ms2×5valid
Compiler

Compiled 38067 to 4382 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.6s
ival-mult: 3.8s (23.1% of total)
ival-tan: 3.3s (19.7% of total)
ival-div: 2.6s (15.7% of total)
backward-pass: 1.3s (7.9% of total)
ival-add: 1.0s (6.1% of total)
ival-sqrt: 976.0ms (5.9% of total)
ival-cos: 637.0ms (3.8% of total)
ival-pow: 607.0ms (3.7% of total)
ival-sub: 444.0ms (2.7% of total)
...c/correct-round.rkt:119:19: 339.0ms (2% of total)
ival-acos: 273.0ms (1.6% of total)
ival-sin: 273.0ms (1.6% of total)
compiled-spec: 261.0ms (1.6% of total)
ival-exp: 180.0ms (1.1% of total)
ival-asin: 145.0ms (0.9% of total)
const: 114.0ms (0.7% of total)
ival-log: 106.0ms (0.6% of total)
ival-neg: 63.0ms (0.4% of total)
ival-atan: 55.0ms (0.3% of total)
ival-pi: 42.0ms (0.3% of total)
ival-cbrt: 22.0ms (0.1% of total)
ival-sinh: 20.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-tanh: 8.0ms (0% of total)

rewrite42.3s (8.7%)

Algorithm
127×batch-egg-rewrite
Rules
420818×*-lowering-*.f32
420818×*-lowering-*.f64
330296×/-lowering-/.f32
330296×/-lowering-/.f64
119990×+-lowering-+.f32
Stop Event
4×saturated
129×iter limit
123×node limit
Counts
2277 → 122937

eval36.4s (7.5%)

Compiler

Compiled 5725921 to 510638 computations (91.1% saved)

prune31.7s (6.5%)

Counts
214015 → 3448
Compiler

Compiled 157895 to 86176 computations (45.4% saved)

regimes21.6s (4.5%)

Counts
15354 → 847
Calls

156 calls:

1.9s
l
1.1s
k
1.0s
t
661.0ms
F
566.0ms
(*.f64 l l)
Compiler

Compiled 8287 to 6309 computations (23.9% saved)

bsearch15.3s (3.2%)

Algorithm
379×binary-search
78×left-value
Stop Event
15×predicate-same
364×narrow-enough
Results
8.6s42423×0valid
1.4s9873×0invalid
450.0ms1422×1valid
399.0ms830×2valid
355.0ms373×3valid
256.0ms216×4valid
80.0ms285×1invalid
50.0ms110×2invalid
2.0ms2×5exit
Compiler

Compiled 116137 to 80281 computations (30.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
ival-mult: 2.7s (33.1% of total)
ival-pow: 1.4s (16.7% of total)
ival-div: 1.2s (15.1% of total)
ival-add: 607.0ms (7.3% of total)
ival-sub: 587.0ms (7.1% of total)
ival-sin: 415.0ms (5% of total)
ival-sqrt: 314.0ms (3.8% of total)
ival-tan: 267.0ms (3.2% of total)
backward-pass: 180.0ms (2.2% of total)
ival-neg: 159.0ms (1.9% of total)
ival-exp: 115.0ms (1.4% of total)
ival-cos: 100.0ms (1.2% of total)
const: 96.0ms (1.2% of total)
...c/correct-round.rkt:119:19: 32.0ms (0.4% of total)
ival-asin: 13.0ms (0.2% of total)
ival-atan: 11.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)

analyze12.1s (2.5%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.1%18.7%79.5%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.1s
ival-mult: 2.3s (37% of total)
ival-pow: 1.2s (19.4% of total)
ival-div: 741.0ms (12.1% of total)
ival-sub: 384.0ms (6.3% of total)
ival-add: 366.0ms (6% of total)
ival-sqrt: 291.0ms (4.8% of total)
ival-sin: 201.0ms (3.3% of total)
ival-tan: 145.0ms (2.4% of total)
...c/correct-round.rkt:119:19: 108.0ms (1.8% of total)
const: 81.0ms (1.3% of total)
ival-neg: 77.0ms (1.3% of total)
ival-acos: 65.0ms (1.1% of total)
ival-exp: 54.0ms (0.9% of total)
ival-pi: 29.0ms (0.5% of total)
backward-pass: 26.0ms (0.4% of total)
ival-asin: 24.0ms (0.4% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-<: 19.0ms (0.3% of total)
ival-cos: 16.0ms (0.3% of total)
ival-log: 12.0ms (0.2% of total)
ival-and: 6.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

preprocess10.2s (2.1%)

Algorithm
64×egg-herbie
Rules
61218×fma-define
60856×*-lowering-*.f32
60856×*-lowering-*.f64
55332×fnmadd-define
43682×fmsub-define
Stop Event
21×saturated
32×iter limit
43×node limit
Compiler

Compiled 45164 to 16518 computations (63.4% saved)

series9.7s (2%)

Counts
2277 → 61800
Calls

13650 calls:

TimeVariablePointExpression
434.0ms
f
@0
(/ (- (log 4) (log (* f (PI)))) (/ (PI) -4))
127.0ms
M
@inf
(* (* (sqrt (/ d h)) (sqrt (/ d l))) (+ 1 (/ (* h (* (/ (* D (* M (* M (/ (/ D d) 2)))) d) -1/4)) l)))
123.0ms
Om
@-inf
(/ (* l (+ (* kx kx) (+ 1/2 (* -1/2 (cos (* 2 ky)))))) Om)
99.0ms
f
@inf
(* (/ (log (tanh (/ f (/ 4 (PI))))) (- 0 (sqrt (PI)))) (/ -4 (sqrt (PI))))
76.0ms
l
@inf
(pow (/ (* 2 l) Om) 2)

explain9.3s (1.9%)

Results
4.0s13354×0valid
1.4s2058×1valid
428.0ms476×2valid
418.0ms402×3valid
140.0ms76×4valid
18.0ms16×5exit
3.0ms2×5valid
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-mult: 614.0ms (20.7% of total)
ival-sqrt: 360.0ms (12.1% of total)
ival-div: 352.0ms (11.8% of total)
ival-tan: 329.0ms (11.1% of total)
ival-pow: 265.0ms (8.9% of total)
backward-pass: 196.0ms (6.6% of total)
ival-sub: 159.0ms (5.4% of total)
ival-add: 157.0ms (5.3% of total)
ival-sin: 139.0ms (4.7% of total)
ival-exp: 126.0ms (4.2% of total)
ival-cos: 68.0ms (2.3% of total)
ival-neg: 39.0ms (1.3% of total)
const: 38.0ms (1.3% of total)
ival-acos: 32.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 22.0ms (0.7% of total)
ival-pi: 17.0ms (0.6% of total)
compiled-spec: 16.0ms (0.5% of total)
ival-log: 16.0ms (0.5% of total)
ival-atan: 12.0ms (0.4% of total)
ival-asin: 11.0ms (0.4% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...