Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
Parameters:256 points for 4 iterations
Flags:
reduce: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.5min)

sample1.9min (22.1%)

Results
37.6s218520×0valid
10.2s65946×0invalid
12.1s24469×1valid
12.6s11769×5exit
5.6s9699×1invalid
4.4s6070×3valid
3.7s6028×2valid
759.0ms844×4valid
156.0ms350×2invalid
40.0ms240×0unsamplable
9.0ms5×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 17.2s (24% of total)
ival-div: 10.8s (15.1% of total)
ival-pow: 7.7s (10.7% of total)
backward-pass: 6.2s (8.7% of total)
ival-sub: 4.2s (5.9% of total)
ival-sqrt: 4.2s (5.9% of total)
ival-add: 4.1s (5.7% of total)
ival-exp: 3.1s (4.3% of total)
ival-sin: 3.0s (4.2% of total)
<compiled-spec>: 2.8s (3.9% of total)
ival-tan: 2.5s (3.5% of total)
const: 1.4s (2% of total)
ival-cos: 980.0ms (1.4% of total)
ival-neg: 960.0ms (1.3% of total)
ival-acos: 776.0ms (1.1% of total)
ival-pi: 548.0ms (0.8% of total)
ival-asin: 371.0ms (0.5% of total)
ival-log: 371.0ms (0.5% of total)
ival-fabs: 163.0ms (0.2% of total)
ival-<: 136.0ms (0.2% of total)
ival-and: 14.0ms (0% of total)
Bogosity

localize1.8min (21.4%)

Results
27.6s22053×256valid
9.1s4045×256invalid
12.5s1772×1024valid
16.5s1214×2048valid
3.7s811×512valid
400.0ms424×256unsamplable
4.4s347×4096valid
8.3s286×8192exit
2.5s108×8192valid
588.0ms100×2048unsamplable
75.0ms38×1024unsamplable
37.0ms30×512unsamplable
14.0ms4×4096unsamplable
Compiler

Compiled 38990 to 20496 computations (47.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-pow: 19.3s (24.4% of total)
ival-mult: 16.8s (21.2% of total)
ival-div: 8.3s (10.5% of total)
<compiled-spec>: 7.7s (9.7% of total)
ival-add: 4.9s (6.2% of total)
ival-tan: 4.4s (5.5% of total)
ival-sqrt: 2.8s (3.6% of total)
ival-sub: 2.8s (3.5% of total)
ival-log: 2.3s (2.9% of total)
ival-cos: 2.1s (2.7% of total)
ival-asin: 2.0s (2.6% of total)
ival-exp: 1.8s (2.3% of total)
const: 1.4s (1.7% of total)
ival-sin: 898.0ms (1.1% of total)
ival-acos: 816.0ms (1% of total)
ival-cbrt: 543.0ms (0.7% of total)
ival-neg: 204.0ms (0.3% of total)
ival-pi: 57.0ms (0.1% of total)
ival-fabs: 15.0ms (0% of total)

simplify51.9s (10.2%)

Algorithm
149×egg-herbie
Rules
44676×fma-define
40967×times-frac
39606×*-commutative
35377×associate-*r*
32739×distribute-lft-in
Stop Event
31×saturated
118×node limit
Counts
66532 → 58281

soundness45.1s (8.8%)

Rules
47662×fma-define
42376×log1p-expm1-u
37052×times-frac
35177×associate-*r*
29000×expm1-log1p-u
Stop Event
7×saturated
160×node limit
28×fuel
1×unsound
3×done
Compiler

Compiled 48981 to 28205 computations (42.4% saved)

eval44.2s (8.6%)

Compiler

Compiled 2965917 to 1878434 computations (36.7% saved)

regimes31.4s (6.1%)

Counts
9677 → 792
Calls

152 calls:

2.5s
l
1.9s
NaChar
1.5s
t
1.4s
NdChar
1.2s
F
Compiler

Compiled 8778 to 6758 computations (23% saved)

rewrite26.6s (5.2%)

Algorithm
118×batch-egg-rewrite
Rules
70518×log1p-expm1-u
48808×expm1-log1p-u
28579×add-exp-log
28479×add-log-exp
28217×pow1
Stop Event
117×node limit
1×unsound
Counts
1219 → 35164

prune26.1s (5.1%)

Counts
88639 → 3009
Compiler

Compiled 141984 to 99737 computations (29.8% saved)

explain16.5s (3.2%)

Results
6.5s13404×256valid
2.0s984×1024valid
1.8s724×2048valid
563.0ms456×512valid
956.0ms258×4096valid
60.0ms44×8192valid
3.0ms2×8192exit
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-mult: 2.8s (30.4% of total)
ival-div: 1.3s (13.9% of total)
ival-pow: 1.3s (13.6% of total)
ival-tan: 710.0ms (7.6% of total)
ival-cos: 630.0ms (6.7% of total)
ival-sub: 479.0ms (5.1% of total)
ival-add: 477.0ms (5.1% of total)
ival-exp: 400.0ms (4.3% of total)
ival-sqrt: 370.0ms (4% of total)
ival-sin: 241.0ms (2.6% of total)
ival-neg: 199.0ms (2.1% of total)
const: 179.0ms (1.9% of total)
<compiled-spec>: 90.0ms (1% of total)
ival-log: 70.0ms (0.7% of total)
ival-acos: 47.0ms (0.5% of total)
ival-pi: 23.0ms (0.2% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-asin: 7.0ms (0.1% of total)

bsearch13.7s (2.7%)

Algorithm
347×binary-search
103×left-value
Stop Event
7×predicate-same
340×narrow-enough
Results
8.0s39783×0valid
929.0ms3889×0invalid
459.0ms1427×1valid
157.0ms317×2valid
321.0ms154×3valid
43.0ms148×1invalid
350.0ms79×4valid
29.0ms63×2invalid
1.0ms1×5exit
Compiler

Compiled 112074 to 83498 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6s
ival-mult: 2.2s (28.5% of total)
ival-div: 1.3s (16.8% of total)
ival-add: 971.0ms (12.7% of total)
ival-pow: 840.0ms (11% of total)
ival-sub: 449.0ms (5.9% of total)
ival-tan: 438.0ms (5.7% of total)
ival-sin: 402.0ms (5.3% of total)
ival-exp: 282.0ms (3.7% of total)
ival-neg: 249.0ms (3.3% of total)
ival-cos: 144.0ms (1.9% of total)
backward-pass: 144.0ms (1.9% of total)
ival-sqrt: 123.0ms (1.6% of total)
const: 122.0ms (1.6% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

series12.5s (2.4%)

Counts
1219 → 31368
Calls

8187 calls:

TimeVariablePointExpression
314.0ms
ky
@0
(/ (sin th) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))))
306.0ms
ky
@0
(* (sin ky) (/ (sin th) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))))
243.0ms
f
@0
(/ (- (log (/ 4 (PI))) (log f)) (PI))
146.0ms
Ec
@-inf
(/ NdChar (+ 2 (+ (/ EDonor KbT) (* Vef (+ (/ 1 KbT) (/ (/ (- mu Ec) KbT) Vef))))))
144.0ms
h
@0
(log (* -1/4 (/ (* (pow M 2) h) (* (pow d 2) l))))

analyze11.6s (2.3%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50%44%43.9%1.8%0%9.4%0.9%9
51.1%44.8%42.8%1.8%0%9.6%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.7%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 1.9s (29.4% of total)
ival-pow: 1.3s (19.7% of total)
ival-div: 1.0s (15.8% of total)
ival-sqrt: 517.0ms (8% of total)
ival-sub: 444.0ms (6.9% of total)
ival-add: 359.0ms (5.6% of total)
ival-sin: 189.0ms (2.9% of total)
ival-cos: 166.0ms (2.6% of total)
ival-tan: 133.0ms (2.1% of total)
const: 121.0ms (1.9% of total)
ival-neg: 84.0ms (1.3% of total)
ival-exp: 74.0ms (1.1% of total)
ival-acos: 67.0ms (1% of total)
ival-asin: 27.0ms (0.4% of total)
ival-<: 26.0ms (0.4% of total)
ival-pi: 23.0ms (0.4% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-log: 12.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

preprocess9.5s (1.9%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 47404 to 28044 computations (40.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...