Herbie run

Date:Monday, April 15th, 2024
Commit:9276f361 on zane-regimes-bug-fix
Hostname:nightly with Racket 8.11.1
Seed:2024106
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: 7.8min)

sample1.6min (21%)

Results
36.9s223036×0valid
10.4s65783×0invalid
13.7s28712×1valid
5.1s9796×1invalid
3.5s6008×3valid
3.1s5676×2valid
1.9s3833×5exit
665.0ms759×4valid
136.0ms317×2invalid
33.0ms223×0unsamplable
1.0ms1×5valid
Precisions
Click to see histograms. Total time spent on operations: 58.0s
ival-mult: 14.9s (25.6% of total)
ival-div: 9.9s (17.1% of total)
ival-pow: 6.5s (11.2% of total)
ival-tan: 3.8s (6.6% of total)
ival-sub: 3.6s (6.1% of total)
backward-pass: 3.1s (5.3% of total)
ival-sqrt: 3.1s (5.3% of total)
ival-add: 3.0s (5.2% of total)
ival-exp: 2.5s (4.3% of total)
ival-sin: 2.0s (3.5% of total)
const: 1.1s (1.9% of total)
ival-cos: 1.1s (1.8% of total)
ival-neg: 774.0ms (1.3% of total)
ival-acos: 641.0ms (1.1% of total)
ival-pi: 512.0ms (0.9% of total)
ival-log: 461.0ms (0.8% of total)
ival-hypot: 322.0ms (0.6% of total)
ival-asin: 302.0ms (0.5% of total)
ival-<: 232.0ms (0.4% of total)
ival-fabs: 163.0ms (0.3% of total)
ival-atan: 76.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

localize1.5min (18.6%)

Results
24.0s22417×0valid
6.7s3735×0invalid
13.5s3287×1valid
11.8s1035×5exit
4.1s812×2valid
7.0s641×3valid
440.0ms459×0unsamplable
2.3s121×4valid
243.0ms5×5valid
Compiler

Compiled 36965 to 18504 computations (49.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.9s
ival-pow: 13.4s (23.2% of total)
ival-mult: 10.6s (18.2% of total)
ival-div: 7.6s (13.1% of total)
backward-pass: 4.6s (7.9% of total)
ival-tan: 3.6s (6.2% of total)
ival-add: 2.4s (4.1% of total)
ival-cos: 2.3s (3.9% of total)
ival-sqrt: 2.2s (3.8% of total)
ival-fma: 1.8s (3.2% of total)
ival-sub: 1.7s (2.9% of total)
ival-hypot: 1.1s (2% of total)
ival-sin: 1.1s (1.9% of total)
const: 1.1s (1.8% of total)
ival-acos: 928.0ms (1.6% of total)
ival-log: 894.0ms (1.5% of total)
ival-exp: 783.0ms (1.4% of total)
ival-neg: 528.0ms (0.9% of total)
ival-log1p: 510.0ms (0.9% of total)
ival-cbrt: 367.0ms (0.6% of total)
ival-expm1: 254.0ms (0.4% of total)
ival-asin: 128.0ms (0.2% of total)
ival-atan: 40.0ms (0.1% of total)
ival-pi: 35.0ms (0.1% of total)
ival-fabs: 11.0ms (0% of total)

simplify53.4s (11.4%)

Algorithm
155×egg-herbie
Rules
48845×fma-define
43463×times-frac
40426×*-commutative
39885×associate-*r*
32499×distribute-lft-in
Stop Event
32×saturated
123×node limit
Counts
68210 → 58004

soundness46.3s (9.9%)

Rules
53935×fma-define
44870×log1p-expm1-u
39721×times-frac
38424×associate-*r*
31222×expm1-log1p-u
Stop Event
8×saturated
163×node limit
31×fuel
1×unsound
1×done
Compiler

Compiled 46569 to 27837 computations (40.2% saved)

eval43.6s (9.3%)

Compiler

Compiled 2882238 to 1784350 computations (38.1% saved)

prune28.8s (6.1%)

Counts
88233 → 3198
Compiler

Compiled 144821 to 100693 computations (30.5% saved)

rewrite27.8s (5.9%)

Algorithm
123×batch-egg-rewrite
Rules
78193×log1p-expm1-u
52034×expm1-log1p-u
28364×add-exp-log
28252×pow1
28127×add-log-exp
Stop Event
122×node limit
1×unsound
Counts
1271 → 36533

regimes23.8s (5.1%)

Counts
10663 → 750
Calls

156 calls:

2.1s
l
1.1s
k
1.0s
t
872.0ms
NdChar
605.0ms
mu
Compiler

Compiled 8986 to 6918 computations (23% saved)

explain13.6s (2.9%)

Results
5.7s13102×0valid
2.7s2340×1valid
898.0ms502×2valid
337.0ms362×3valid
76.0ms60×4valid
22.0ms18×5exit
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-mult: 1.8s (24.7% of total)
ival-pow: 1.2s (16% of total)
ival-div: 1.0s (13.8% of total)
ival-sub: 610.0ms (8.3% of total)
backward-pass: 474.0ms (6.5% of total)
ival-add: 468.0ms (6.4% of total)
ival-sqrt: 308.0ms (4.2% of total)
ival-exp: 296.0ms (4% of total)
ival-tan: 274.0ms (3.7% of total)
ival-cos: 229.0ms (3.1% of total)
const: 191.0ms (2.6% of total)
ival-hypot: 147.0ms (2% of total)
ival-sin: 119.0ms (1.6% of total)
ival-neg: 115.0ms (1.6% of total)
ival-log: 45.0ms (0.6% of total)
ival-acos: 29.0ms (0.4% of total)
ival-pi: 17.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)
ival-fabs: 5.0ms (0.1% of total)

series12.8s (2.7%)

Counts
1271 → 31677
Calls

8211 calls:

TimeVariablePointExpression
141.0ms
m
@0
(cos (- (* K (/ (+ m n) 2)) M))
120.0ms
K
@0
(log (+ 1 (cos (* K 1/2))))
116.0ms
t
@0
(* (sqrt (/ 1 (+ (/ 1 (+ -1 x)) (- (/ x (+ -1 x)) 1)))) (* t (/ (sqrt 2) l)))
107.0ms
Om
@inf
(* (* n (pow (/ l Om) 2)) (- U U*))
95.0ms
KbT
@0
(log (+ 1 (exp (/ (+ EDonor (- Vef (- Ec mu))) KbT))))

bsearch11.9s (2.5%)

Algorithm
300×binary-search
91×left-value
Stop Event
12×predicate-same
288×narrow-enough
Results
6.7s32912×0valid
1.1s5247×0invalid
424.0ms1050×1valid
205.0ms450×2valid
91.0ms156×3valid
119.0ms50×1invalid
10.0ms26×2invalid
40.0ms24×4valid
1.0ms1×5exit
Compiler

Compiled 86694 to 66116 computations (23.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 1.5s (22.5% of total)
ival-div: 1.2s (17.7% of total)
ival-pow: 1.1s (17.3% of total)
ival-add: 852.0ms (12.9% of total)
ival-sin: 417.0ms (6.3% of total)
ival-sub: 340.0ms (5.2% of total)
ival-tan: 272.0ms (4.1% of total)
backward-pass: 204.0ms (3.1% of total)
ival-neg: 179.0ms (2.7% of total)
ival-exp: 174.0ms (2.6% of total)
ival-cos: 137.0ms (2.1% of total)
const: 117.0ms (1.8% of total)
ival-sqrt: 83.0ms (1.3% of total)
ival-atan: 9.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-hypot: 7.0ms (0.1% of total)
ival-asin: 6.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

analyze11.5s (2.4%)

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.5s
ival-mult: 2.0s (31.5% of total)
ival-pow: 1.5s (23.3% of total)
ival-div: 841.0ms (13% of total)
ival-sub: 424.0ms (6.5% of total)
ival-add: 377.0ms (5.8% of total)
ival-sqrt: 292.0ms (4.5% of total)
ival-sin: 217.0ms (3.3% of total)
ival-tan: 138.0ms (2.1% of total)
ival-exp: 127.0ms (2% of total)
const: 117.0ms (1.8% of total)
ival-acos: 111.0ms (1.7% of total)
ival-neg: 82.0ms (1.3% of total)
ival-cos: 59.0ms (0.9% of total)
ival-fabs: 36.0ms (0.6% of total)
ival-<: 27.0ms (0.4% of total)
backward-pass: 23.0ms (0.4% of total)
ival-pi: 23.0ms (0.4% of total)
ival-asin: 20.0ms (0.3% of total)
ival-log: 12.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.8s (2.1%)

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 48940 to 30798 computations (37.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...