Herbie run

Date:Friday, April 12th, 2024
Commit:ed895eeb on main
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.2min)

sample1.7min (20.7%)

Results
40.1s222832×0valid
10.1s65722×0invalid
13.5s28707×1valid
4.7s9720×1invalid
3.4s6052×3valid
3.0s5756×2valid
2.6s3787×5exit
686.0ms841×4valid
140.0ms343×2invalid
43.0ms241×0unsamplable
4.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 15.0s (24.7% of total)
ival-div: 10.3s (16.9% of total)
ival-pow: 6.5s (10.7% of total)
ival-tan: 4.2s (6.9% of total)
ival-sub: 3.9s (6.4% of total)
ival-add: 3.6s (5.9% of total)
ival-sqrt: 3.3s (5.5% of total)
backward-pass: 2.9s (4.8% of total)
ival-exp: 2.7s (4.4% of total)
ival-sin: 2.5s (4.1% of total)
ival-cos: 1.3s (2.2% of total)
const: 1.1s (1.8% of total)
ival-neg: 1.0s (1.7% of total)
ival-acos: 658.0ms (1.1% of total)
ival-pi: 607.0ms (1% of total)
ival-log: 370.0ms (0.6% of total)
ival-hypot: 331.0ms (0.5% of total)
ival-asin: 220.0ms (0.4% of total)
ival-fabs: 115.0ms (0.2% of total)
ival-<: 84.0ms (0.1% of total)
ival-atan: 73.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

localize1.6min (19.3%)

Results
27.9s22333×0valid
7.7s3989×0invalid
14.8s3797×1valid
6.5s743×2valid
8.9s484×5exit
8.7s481×3valid
340.0ms406×0unsamplable
102.0ms23×4valid
Compiler

Compiled 38580 to 20810 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-pow: 13.4s (21.4% of total)
ival-mult: 11.0s (17.5% of total)
ival-div: 7.4s (11.9% of total)
ival-tan: 6.7s (10.7% of total)
backward-pass: 4.3s (6.9% of total)
ival-add: 2.9s (4.6% of total)
ival-sub: 2.8s (4.5% of total)
ival-fma: 2.8s (4.5% of total)
ival-asin: 2.2s (3.5% of total)
ival-sqrt: 1.6s (2.6% of total)
ival-cos: 1.5s (2.5% of total)
const: 1.3s (2% of total)
ival-hypot: 862.0ms (1.4% of total)
ival-sin: 762.0ms (1.2% of total)
ival-log: 739.0ms (1.2% of total)
ival-acos: 539.0ms (0.9% of total)
ival-cbrt: 529.0ms (0.8% of total)
ival-exp: 527.0ms (0.8% of total)
ival-neg: 227.0ms (0.4% of total)
ival-expm1: 208.0ms (0.3% of total)
ival-log1p: 191.0ms (0.3% of total)
ival-pi: 49.0ms (0.1% of total)
ival-atan: 31.0ms (0% of total)
ival-fabs: 10.0ms (0% of total)

simplify55.0s (11.2%)

Algorithm
155×egg-herbie
Rules
47264×fma-define
41691×*-commutative
41372×times-frac
37692×associate-*r*
32650×distribute-lft-in
Stop Event
32×saturated
123×node limit
Counts
70874 → 61810

soundness47.3s (9.6%)

Rules
50108×fma-define
42175×log1p-expm1-u
37653×times-frac
35789×associate-*r*
29601×*-commutative
Stop Event
8×saturated
164×node limit
29×fuel
1×unsound
3×done
Compiler

Compiled 46963 to 26922 computations (42.7% saved)

eval44.2s (9%)

Compiler

Compiled 2918192 to 1864818 computations (36.1% saved)

prune29.8s (6%)

Counts
90465 → 3121
Compiler

Compiled 142828 to 101591 computations (28.9% saved)

regimes29.5s (6%)

Counts
9339 → 726
Calls

156 calls:

2.4s
l
1.8s
NaChar
1.4s
F
1.3s
t
1.2s
NdChar
Compiler

Compiled 8597 to 6643 computations (22.7% saved)

rewrite28.5s (5.8%)

Algorithm
123×batch-egg-rewrite
Rules
72366×log1p-expm1-u
50551×expm1-log1p-u
30080×add-exp-log
29971×add-log-exp
29705×pow1
Stop Event
122×node limit
1×unsound
Counts
1303 → 37582

explain14.7s (3%)

Results
5.9s13104×0valid
3.4s2370×1valid
637.0ms510×2valid
586.0ms348×3valid
56.0ms46×4valid
5.0ms6×5exit
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
ival-mult: 1.8s (22% of total)
ival-div: 1.4s (17% of total)
ival-pow: 1.3s (15.2% of total)
backward-pass: 742.0ms (8.9% of total)
ival-sub: 653.0ms (7.8% of total)
ival-add: 497.0ms (6% of total)
ival-cos: 354.0ms (4.3% of total)
ival-tan: 323.0ms (3.9% of total)
ival-exp: 316.0ms (3.8% of total)
ival-sqrt: 276.0ms (3.3% of total)
const: 192.0ms (2.3% of total)
ival-sin: 150.0ms (1.8% of total)
ival-neg: 114.0ms (1.4% of total)
ival-hypot: 78.0ms (0.9% of total)
ival-log: 49.0ms (0.6% of total)
ival-acos: 30.0ms (0.4% of total)
ival-pi: 20.0ms (0.2% of total)
ival-asin: 13.0ms (0.2% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)

series13.8s (2.8%)

Counts
1303 → 33292
Calls

8691 calls:

TimeVariablePointExpression
481.0ms
mu
@inf
(/ NaChar (- (+ 2 (+ (/ EAccept KbT) (+ (/ Ev KbT) (/ Vef KbT)))) (/ mu KbT)))
224.0ms
Vef
@inf
(/ NdChar (+ 2 (* -1 (* EDonor (- (* -1 (/ (- (+ (/ Vef KbT) (/ mu KbT)) (/ Ec KbT)) EDonor)) (/ 1 KbT))))))
222.0ms
mu
@0
(* EDonor (- (* -1 (/ (- (+ (/ Vef KbT) (/ mu KbT)) (/ Ec KbT)) EDonor)) (/ 1 KbT)))
145.0ms
h
@-inf
(log (* 1/4 (/ (* h (pow (* D M) 2)) (pow (* d c0) 2))))
133.0ms
x
@inf
(* x (/ 1 (tan B)))

bsearch12.4s (2.5%)

Algorithm
301×binary-search
98×left-value
Stop Event
12×predicate-same
289×narrow-enough
Results
7.6s35292×0valid
929.0ms4527×0invalid
614.0ms1286×1valid
114.0ms186×2valid
41.0ms150×1invalid
82.0ms124×3valid
65.0ms72×4valid
24.0ms61×2invalid
Compiler

Compiled 100150 to 74586 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
ival-mult: 1.4s (19.7% of total)
ival-div: 1.4s (19.6% of total)
ival-add: 872.0ms (12.6% of total)
ival-pow: 840.0ms (12.1% of total)
ival-sin: 444.0ms (6.4% of total)
ival-neg: 422.0ms (6.1% of total)
ival-sub: 364.0ms (5.2% of total)
ival-tan: 363.0ms (5.2% of total)
ival-exp: 328.0ms (4.7% of total)
ival-cos: 233.0ms (3.4% of total)
const: 113.0ms (1.6% of total)
ival-sqrt: 111.0ms (1.6% of total)
backward-pass: 92.0ms (1.3% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-atan: 7.0ms (0.1% of total)
ival-hypot: 7.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

analyze11.1s (2.2%)

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.2%36.2%53.8%1.8%0%7.5%0.7%6
45.6%40.7%48.6%1.8%0%8.2%0.8%7
48%42.2%45.7%1.8%0%9.5%0.8%8
51.1%44.7%42.8%1.8%0%9.8%0.9%9
52.2%45.6%41.7%1.8%0%10.1%0.9%10
54%46.8%39.8%1.8%0%10.6%1%11
55.8%48%38.1%1.8%0%11.2%1%12
Compiler

Compiled 861 to 616 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.2s (33.6% of total)
ival-pow: 1.5s (23.6% of total)
ival-div: 797.0ms (12.4% of total)
ival-add: 444.0ms (6.9% of total)
ival-sub: 336.0ms (5.2% of total)
ival-sqrt: 286.0ms (4.5% of total)
ival-sin: 258.0ms (4% of total)
ival-tan: 137.0ms (2.1% of total)
const: 119.0ms (1.9% of total)
ival-neg: 82.0ms (1.3% of total)
ival-exp: 68.0ms (1.1% of total)
ival-acos: 55.0ms (0.9% of total)
ival-pi: 28.0ms (0.4% of total)
ival-<: 28.0ms (0.4% of total)
ival-cos: 26.0ms (0.4% of total)
ival-asin: 23.0ms (0.4% of total)
backward-pass: 22.0ms (0.3% of total)
ival-fabs: 22.0ms (0.3% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess9.5s (1.9%)

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 45192 to 27184 computations (39.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...