Herbie run

Date:Thursday, May 23rd, 2024
Commit:ac4819a9 on varun10p-naive-cost
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.9min)

sample1.5min (19.4%)

Results
35.5s225382×0valid
10.4s24855×1valid
10.0s64939×0invalid
7.3s12183×5exit
3.5s6289×3valid
3.2s6768×2valid
3.2s10464×1invalid
832.0ms894×4valid
223.0ms507×2invalid
37.0ms248×0unsamplable
4.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 57.7s
ival-mult: 14.3s (24.8% of total)
ival-div: 8.0s (13.8% of total)
ival-pow: 6.6s (11.5% of total)
ival-sub: 4.6s (7.9% of total)
ival-tan: 3.8s (6.5% of total)
backward-pass: 3.5s (6% of total)
ival-sqrt: 3.5s (6% of total)
ival-add: 3.3s (5.7% of total)
ival-sin: 2.1s (3.6% of total)
ival-exp: 1.7s (2.9% of total)
compiled-spec: 1.4s (2.4% of total)
const: 790.0ms (1.4% of total)
ival-cos: 771.0ms (1.3% of total)
ival-neg: 684.0ms (1.2% of total)
ival-pi: 637.0ms (1.1% of total)
ival-acos: 574.0ms (1% of total)
...c/correct-round.rkt:119:19: 547.0ms (0.9% of total)
ival-log: 411.0ms (0.7% of total)
ival-fabs: 202.0ms (0.4% of total)
ival-asin: 195.0ms (0.3% of total)
ival-<: 170.0ms (0.3% of total)
ival-atan: 88.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

soundness1.4min (17.5%)

Rules
972832×*-lowering-*.f32
972832×*-lowering-*.f64
462766×+-lowering-+.f32
462766×+-lowering-+.f64
455274×/-lowering-/.f32
Stop Event
10×saturated
214×iter limit
203×node limit
31×fuel
1×done
Compiler

Compiled 40994 to 23465 computations (42.8% saved)

simplify1.3min (16.4%)

Algorithm
288×egg-herbie
Rules
1073300×*-lowering-*.f32
1073300×*-lowering-*.f64
533288×+-lowering-+.f32
533288×+-lowering-+.f64
360922×/-lowering-/.f64
Stop Event
256×iter limit
56×saturated
232×node limit
Counts
62196 → 62196

rewrite50.1s (10.5%)

Algorithm
128×batch-egg-rewrite
Rules
510922×*-lowering-*.f32
510922×*-lowering-*.f64
391996×/-lowering-/.f32
391996×/-lowering-/.f64
187436×+-lowering-+.f32
Stop Event
129×iter limit
128×node limit
Counts
2402 → 92774

localize36.9s (7.8%)

Results
11.1s23274×0valid
6.8s1278×5exit
3.9s3399×1valid
1.6s2872×0invalid
1.6s972×2valid
1.2s440×3valid
411.0ms128×4valid
137.0ms311×0unsamplable
101.0ms91×1invalid
3.0ms3×1unsamplable
Compiler

Compiled 47509 to 4688 computations (90.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.8s
ival-mult: 4.2s (24.8% of total)
ival-tan: 2.8s (16.9% of total)
ival-div: 2.7s (16.3% of total)
backward-pass: 1.3s (7.8% of total)
ival-add: 1.1s (6.6% of total)
ival-pow: 805.0ms (4.8% of total)
ival-sqrt: 646.0ms (3.8% of total)
ival-cos: 579.0ms (3.4% of total)
ival-sub: 469.0ms (2.8% of total)
...c/correct-round.rkt:119:19: 340.0ms (2% of total)
ival-sin: 286.0ms (1.7% of total)
ival-log: 268.0ms (1.6% of total)
compiled-spec: 251.0ms (1.5% of total)
ival-asin: 209.0ms (1.2% of total)
ival-exp: 180.0ms (1.1% of total)
ival-acos: 151.0ms (0.9% of total)
const: 135.0ms (0.8% of total)
ival-pi: 71.0ms (0.4% of total)
ival-atan: 65.0ms (0.4% of total)
ival-neg: 48.0ms (0.3% of total)
ival-cosh: 35.0ms (0.2% of total)
ival-sinh: 19.0ms (0.1% of total)
ival-fabs: 18.0ms (0.1% of total)
ival-tanh: 18.0ms (0.1% of total)
ival-cbrt: 15.0ms (0.1% of total)

eval30.9s (6.5%)

Compiler

Compiled 6679389 to 480024 computations (92.8% saved)

prune28.9s (6.1%)

Counts
190532 → 3650
Compiler

Compiled 193757 to 98175 computations (49.3% saved)

regimes22.1s (4.6%)

Counts
15459 → 867
Calls

156 calls:

1.8s
l
968.0ms
t
818.0ms
k
654.0ms
F
609.0ms
h
Compiler

Compiled 8147 to 6170 computations (24.3% saved)

bsearch15.5s (3.3%)

Algorithm
402×binary-search
77×left-value
Stop Event
18×predicate-same
384×narrow-enough
Results
8.3s45179×0valid
2.3s14129×0invalid
492.0ms1381×1valid
162.0ms401×2valid
69.0ms249×1invalid
44.0ms46×4valid
43.0ms114×2invalid
37.0ms65×3valid
Compiler

Compiled 108576 to 76430 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
ival-mult: 2.6s (31% of total)
ival-pow: 1.8s (21.6% of total)
ival-div: 1.5s (17.9% of total)
ival-add: 624.0ms (7.5% of total)
ival-sub: 516.0ms (6.2% of total)
ival-sin: 309.0ms (3.7% of total)
ival-tan: 266.0ms (3.2% of total)
ival-sqrt: 179.0ms (2.2% of total)
ival-neg: 136.0ms (1.6% of total)
const: 115.0ms (1.4% of total)
ival-exp: 86.0ms (1% of total)
backward-pass: 85.0ms (1% of total)
ival-cos: 55.0ms (0.7% of total)
...c/correct-round.rkt:119:19: 36.0ms (0.4% of total)
ival-asin: 12.0ms (0.1% of total)
ival-atan: 10.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-pi: 3.0ms (0% of total)

analyze11.0s (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: 6.3s
ival-mult: 2.0s (31.4% of total)
ival-pow: 1.4s (22.8% of total)
ival-div: 1.0s (16.2% of total)
ival-add: 342.0ms (5.4% of total)
ival-sqrt: 333.0ms (5.3% of total)
ival-sub: 291.0ms (4.6% of total)
ival-sin: 185.0ms (2.9% of total)
ival-tan: 154.0ms (2.4% of total)
...c/correct-round.rkt:119:19: 115.0ms (1.8% of total)
const: 84.0ms (1.3% of total)
ival-neg: 81.0ms (1.3% of total)
ival-acos: 62.0ms (1% of total)
ival-exp: 52.0ms (0.8% of total)
ival-pi: 28.0ms (0.4% of total)
ival-<: 26.0ms (0.4% of total)
ival-asin: 23.0ms (0.4% of total)
backward-pass: 22.0ms (0.3% of total)
ival-fabs: 21.0ms (0.3% of total)
ival-cos: 19.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)
compiled-spec: 0.0ms (0% of total)

preprocess10.1s (2.1%)

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

Compiled 41040 to 15390 computations (62.5% saved)

series9.3s (2%)

Counts
2402 → 62196
Calls

13872 calls:

TimeVariablePointExpression
187.0ms
f
@0
(/ (/ (log (* f (* 1/4 (PI)))) (PI)) 1/4)
108.0ms
f
@inf
(/ (- (* (log (* 2 (cosh (/ (PI) (/ 4 f))))) (/ (PI) -4)) (* (/ (PI) -4) (log (* 2 (sinh (/ (PI) (/ 4 f))))))) (* (/ (PI) -4) (/ (PI) -4)))
97.0ms
kx
@inf
(* (log (+ 1/2 (/ (/ 1/4 (/ l Om)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))) 1/2)
77.0ms
t
@-inf
(sqrt (* (* (* 2 n) U) (- t (- (/ 2 (/ (/ Om l) l)) (* (neg n) (* (/ (/ l Om) (/ Om l)) (- U U*)))))))
76.0ms
v
@inf
(* (log (/ 1 (- (/ (PI) 2) (asin (/ (+ 1 (* (* v v) -5)) (+ (* v v) -1)))))) -1)

explain7.4s (1.5%)

Results
2.9s13360×0valid
1.0s2032×1valid
431.0ms418×3valid
360.0ms494×2valid
96.0ms62×4valid
21.0ms18×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 687.0ms (23.7% of total)
ival-div: 415.0ms (14.3% of total)
ival-tan: 311.0ms (10.7% of total)
ival-pow: 296.0ms (10.2% of total)
ival-sub: 246.0ms (8.5% of total)
ival-add: 163.0ms (5.6% of total)
ival-sin: 149.0ms (5.1% of total)
backward-pass: 135.0ms (4.7% of total)
ival-sqrt: 125.0ms (4.3% of total)
ival-exp: 115.0ms (4% of total)
ival-cos: 76.0ms (2.6% of total)
const: 40.0ms (1.4% of total)
ival-neg: 31.0ms (1.1% of total)
ival-acos: 28.0ms (1% of total)
ival-pi: 18.0ms (0.6% of total)
compiled-spec: 17.0ms (0.6% of total)
ival-log: 14.0ms (0.5% of total)
...c/correct-round.rkt:119:19: 11.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...