Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
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: 8.2min)

sample1.6min (19.9%)

Results
37.2s225414×0valid
11.1s24965×1valid
10.8s65330×0invalid
8.2s11837×5exit
3.9s6393×3valid
3.8s10611×1invalid
3.2s6505×2valid
966.0ms907×4valid
215.0ms493×2invalid
32.0ms228×0unsamplable
7.0ms8×5valid
Precisions
Click to see histograms. Total time spent on operations: 59.0s
ival-mult: 14.8s (25.1% of total)
ival-div: 8.4s (14.3% of total)
ival-pow: 5.5s (9.2% of total)
ival-sqrt: 4.9s (8.3% of total)
ival-tan: 3.9s (6.6% of total)
ival-sub: 3.9s (6.6% of total)
ival-add: 3.6s (6.2% of total)
backward-pass: 3.4s (5.8% of total)
ival-sin: 2.1s (3.6% of total)
ival-exp: 1.8s (3.1% of total)
compiled-spec: 1.6s (2.7% of total)
ival-cos: 868.0ms (1.5% of total)
const: 797.0ms (1.4% of total)
ival-neg: 737.0ms (1.2% of total)
ival-acos: 567.0ms (1% of total)
...c/correct-round.rkt:119:19: 500.0ms (0.8% of total)
ival-pi: 466.0ms (0.8% of total)
ival-asin: 458.0ms (0.8% of total)
ival-log: 355.0ms (0.6% of total)
ival-fabs: 166.0ms (0.3% of total)
ival-atan: 85.0ms (0.1% of total)
ival-<: 77.0ms (0.1% of total)
ival-and: 18.0ms (0% of total)
Bogosity

soundness1.4min (16.7%)

Rules
933694×*-lowering-*.f32
933694×*-lowering-*.f64
426624×+-lowering-+.f32
426624×+-lowering-+.f64
423972×/-lowering-/.f32
Stop Event
10×saturated
207×iter limit
197×node limit
32×fuel
Compiler

Compiled 43608 to 24148 computations (44.6% saved)

simplify1.3min (16%)

Algorithm
288×egg-herbie
Rules
1084890×*-lowering-*.f32
1084890×*-lowering-*.f64
514000×+-lowering-+.f32
514000×+-lowering-+.f64
359362×/-lowering-/.f64
Stop Event
256×iter limit
56×saturated
232×node limit
Counts
61728 → 61728

rewrite50.3s (10.2%)

Algorithm
128×batch-egg-rewrite
Rules
502514×*-lowering-*.f32
502514×*-lowering-*.f64
367840×/-lowering-/.f32
367840×/-lowering-/.f64
182548×+-lowering-+.f32
Stop Event
128×iter limit
128×node limit
Counts
2380 → 93962

localize49.7s (10.1%)

Results
16.3s24347×0valid
12.1s1016×5exit
4.6s2841×1valid
2.4s3093×0invalid
2.1s796×2valid
1.9s421×3valid
315.0ms77×4valid
113.0ms177×0unsamplable
Compiler

Compiled 45991 to 4750 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.1s
ival-tan: 6.4s (30.3% of total)
ival-mult: 4.0s (18.9% of total)
ival-div: 2.9s (13.7% of total)
backward-pass: 1.7s (8.2% of total)
ival-add: 1.1s (5.3% of total)
ival-pow: 897.0ms (4.3% of total)
ival-sqrt: 745.0ms (3.5% of total)
ival-cos: 673.0ms (3.2% of total)
ival-sin: 492.0ms (2.3% of total)
ival-sub: 485.0ms (2.3% of total)
ival-asin: 301.0ms (1.4% of total)
ival-log: 253.0ms (1.2% of total)
...c/correct-round.rkt:119:19: 247.0ms (1.2% of total)
compiled-spec: 224.0ms (1.1% of total)
ival-exp: 173.0ms (0.8% of total)
ival-acos: 141.0ms (0.7% of total)
const: 129.0ms (0.6% of total)
ival-pi: 47.0ms (0.2% of total)
ival-sinh: 39.0ms (0.2% of total)
ival-atan: 37.0ms (0.2% of total)
ival-neg: 34.0ms (0.2% of total)
ival-tanh: 28.0ms (0.1% of total)
ival-cosh: 28.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-cbrt: 7.0ms (0% of total)

eval29.3s (5.9%)

Compiler

Compiled 6532593 to 440226 computations (93.3% saved)

prune26.6s (5.4%)

Counts
189898 → 3705
Compiler

Compiled 202631 to 101168 computations (50.1% saved)

regimes22.4s (4.5%)

Counts
15317 → 923
Calls

156 calls:

1.7s
l
982.0ms
k
707.0ms
t
651.0ms
th
524.0ms
F
Compiler

Compiled 8847 to 6673 computations (24.6% saved)

bsearch15.3s (3.1%)

Algorithm
405×binary-search
93×left-value
Stop Event
13×predicate-same
391×narrow-enough
1×predicate-failed
Results
8.1s45128×0valid
1.5s9800×0invalid
638.0ms1547×1valid
422.0ms806×2valid
244.0ms370×3valid
206.0ms228×4valid
91.0ms101×5exit
56.0ms130×2invalid
40.0ms157×1invalid
1.0ms1×5valid
Compiler

Compiled 119213 to 81816 computations (31.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
ival-mult: 2.1s (27.4% of total)
ival-div: 1.4s (17.7% of total)
ival-pow: 1.2s (15.1% of total)
ival-add: 635.0ms (8.3% of total)
ival-sin: 502.0ms (6.5% of total)
ival-sub: 437.0ms (5.7% of total)
ival-sqrt: 372.0ms (4.8% of total)
ival-tan: 344.0ms (4.5% of total)
ival-neg: 162.0ms (2.1% of total)
backward-pass: 156.0ms (2% of total)
ival-exp: 131.0ms (1.7% of total)
const: 110.0ms (1.4% of total)
ival-cos: 97.0ms (1.3% of total)
...c/correct-round.rkt:119:19: 56.0ms (0.7% of total)
ival-atan: 27.0ms (0.4% of total)
ival-pi: 13.0ms (0.2% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)

analyze11.5s (2.3%)

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: 5.8s
ival-mult: 1.9s (32% of total)
ival-pow: 1.2s (20% of total)
ival-div: 761.0ms (13.1% of total)
ival-add: 342.0ms (5.9% of total)
ival-sub: 338.0ms (5.8% of total)
ival-sqrt: 309.0ms (5.3% of total)
ival-sin: 264.0ms (4.5% of total)
ival-tan: 215.0ms (3.7% of total)
...c/correct-round.rkt:119:19: 128.0ms (2.2% of total)
const: 86.0ms (1.5% of total)
ival-neg: 73.0ms (1.3% of total)
ival-exp: 54.0ms (0.9% of total)
ival-acos: 49.0ms (0.8% of total)
ival-cos: 35.0ms (0.6% of total)
ival-fabs: 29.0ms (0.5% of total)
ival-pi: 28.0ms (0.5% of total)
backward-pass: 25.0ms (0.4% of total)
ival-<: 24.0ms (0.4% of total)
ival-asin: 21.0ms (0.4% 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.7s (2.2%)

Algorithm
64×egg-herbie
Rules
62304×*-lowering-*.f32
62304×*-lowering-*.f64
57426×fma-define
53010×fnmadd-define
43382×fmsub-define
Stop Event
19×saturated
32×iter limit
45×node limit
Compiler

Compiled 55454 to 20140 computations (63.7% saved)

series8.9s (1.8%)

Counts
2380 → 61728
Calls

13374 calls:

TimeVariablePointExpression
150.0ms
f
@0
(/ (- (* (log 2) (/ (PI) -4)) (* (/ (PI) -4) (log (* (PI) (* f 1/2))))) (* (/ (PI) -4) (/ (PI) -4)))
135.0ms
l
@0
(pow (* (* (/ (* U l) Om) (* (* n 2) (* l (+ -2 (* n (/ (- U* U) Om)))))) (* (/ (* U l) Om) (* (* n 2) (* l (+ -2 (* n (/ (- U* U) Om))))))) 1/4)
111.0ms
f
@inf
(neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (/ (* (PI) f) 4)))) (log (* 2 (sinh (/ (* (PI) f) 4)))))))
82.0ms
U*
@inf
(- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))
60.0ms
f
@-inf
(/ (log (/ (+ (exp (* (PI) (/ f 4))) (exp (* (PI) (/ f -4)))) (- (exp (* (PI) (/ f 4))) (exp (* (PI) (/ f -4)))))) (/ (PI) -4))

explain8.8s (1.8%)

Results
3.7s13324×0valid
1.3s2104×1valid
448.0ms472×2valid
446.0ms404×3valid
122.0ms70×4valid
11.0ms10×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 567.0ms (20.8% of total)
ival-tan: 335.0ms (12.3% of total)
ival-div: 325.0ms (11.9% of total)
ival-pow: 255.0ms (9.3% of total)
ival-sqrt: 195.0ms (7.1% of total)
backward-pass: 188.0ms (6.9% of total)
ival-sub: 186.0ms (6.8% of total)
ival-add: 146.0ms (5.4% of total)
ival-cos: 120.0ms (4.4% of total)
ival-sin: 117.0ms (4.3% of total)
ival-exp: 101.0ms (3.7% of total)
const: 41.0ms (1.5% of total)
ival-neg: 34.0ms (1.2% of total)
ival-acos: 31.0ms (1.1% of total)
ival-pi: 21.0ms (0.8% of total)
compiled-spec: 19.0ms (0.7% of total)
ival-log: 15.0ms (0.5% of total)
...c/correct-round.rkt:119:19: 12.0ms (0.4% of total)
ival-asin: 9.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...