Herbie run

Date:Sunday, March 31st, 2024
Commit:20f9421b on zane-regimes-loops
Hostname:nightly with Racket 8.11.1
Seed:2024091
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: 9.4min)

localize2.2min (23.6%)

Results
26.5s21744×256valid
8.3s3934×256invalid
9.8s1601×1024valid
18.1s1469×2048valid
37.8s1134×8192exit
2.9s753×512valid
5.9s289×4096valid
1.1s44×8192valid
113.0ms8×256unsamplable
Compiler

Compiled 39013 to 20373 computations (47.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-pow: 25.2s (24.3% of total)
ival-mult: 19.4s (18.7% of total)
ival-div: 9.0s (8.7% of total)
<compiled-spec>: 8.7s (8.4% of total)
ival-cos: 6.7s (6.5% of total)
ival-sin: 5.4s (5.2% of total)
ival-add: 5.2s (5% of total)
ival-tan: 4.4s (4.2% of total)
ival-log: 4.1s (3.9% of total)
ival-exp: 3.5s (3.4% of total)
ival-sub: 3.5s (3.4% of total)
ival-sqrt: 2.8s (2.7% of total)
ival-asin: 1.7s (1.7% of total)
const: 1.6s (1.5% of total)
ival-acos: 1.3s (1.2% of total)
ival-cbrt: 920.0ms (0.9% of total)
ival-neg: 311.0ms (0.3% of total)
ival-pi: 67.0ms (0.1% of total)
ival-fabs: 37.0ms (0% of total)
ival-e: 3.0ms (0% of total)

sample1.8min (19.4%)

Results
37.1s218464×0valid
10.4s65763×0invalid
12.7s24602×1valid
11.8s11765×5exit
5.3s9865×1invalid
4.0s6037×2valid
4.0s6007×3valid
861.0ms821×4valid
170.0ms352×2invalid
38.0ms231×0unsamplable
6.0ms5×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 17.4s (24.8% of total)
ival-div: 10.5s (15% of total)
ival-pow: 7.1s (10.1% of total)
backward-pass: 5.7s (8.1% of total)
ival-sub: 4.8s (6.8% of total)
ival-add: 4.0s (5.7% of total)
ival-sqrt: 4.0s (5.7% of total)
<compiled-spec>: 3.4s (4.8% of total)
ival-exp: 3.1s (4.4% of total)
ival-tan: 2.3s (3.3% of total)
ival-sin: 2.3s (3.3% of total)
const: 1.4s (1.9% of total)
ival-cos: 1.0s (1.5% of total)
ival-neg: 820.0ms (1.2% of total)
ival-pi: 663.0ms (0.9% of total)
ival-acos: 655.0ms (0.9% of total)
ival-log: 449.0ms (0.6% of total)
ival-asin: 278.0ms (0.4% of total)
ival-fabs: 128.0ms (0.2% of total)
ival-<: 115.0ms (0.2% of total)
ival-and: 14.0ms (0% of total)
Bogosity

eval1.1min (11.4%)

Compiler

Compiled 2866460 to 1837642 computations (35.9% saved)

simplify50.8s (9%)

Algorithm
148×egg-herbie
Rules
47933×fma-define
43499×times-frac
35741×associate-*r*
35710×*-commutative
29725×distribute-lft-in
Stop Event
31×saturated
116×node limit
1×unsound
Counts
63715 → 54396

soundness45.7s (8.1%)

Rules
52820×fma-define
39293×times-frac
36344×log1p-expm1-u
36091×associate-*r*
28103×expm1-log1p-u
Stop Event
7×saturated
27×fuel
152×node limit
1×unsound
4×done
Compiler

Compiled 42266 to 26075 computations (38.3% saved)

regimes40.7s (7.2%)

Counts
10383 → 812
Calls

152 calls:

3.9s
l
2.0s
t
2.0s
mu
1.8s
F
1.7s
k
Compiler

Compiled 8542 to 6607 computations (22.7% saved)

rewrite26.4s (4.7%)

Algorithm
117×batch-egg-rewrite
Rules
73968×log1p-expm1-u
50965×expm1-log1p-u
28709×add-exp-log
28691×pow1
27554×add-log-exp
Stop Event
116×node limit
1×unsound
Counts
1199 → 33319

prune25.2s (4.5%)

Counts
84060 → 3122
Compiler

Compiled 143966 to 100007 computations (30.5% saved)

bsearch17.0s (3%)

Algorithm
405×binary-search
64×left-value
Stop Event
10×predicate-same
395×narrow-enough
Results
10.1s46554×0valid
1.7s8269×0invalid
530.0ms1469×1valid
202.0ms384×2valid
102.0ms143×3valid
31.0ms105×1invalid
51.0ms42×4valid
8.0ms18×2invalid
Compiler

Compiled 112543 to 86448 computations (23.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-div: 2.0s (21.5% of total)
ival-mult: 2.0s (20.9% of total)
ival-pow: 1.6s (16.9% of total)
ival-add: 983.0ms (10.4% of total)
ival-sin: 824.0ms (8.7% of total)
ival-sub: 469.0ms (5% of total)
ival-tan: 431.0ms (4.6% of total)
ival-neg: 294.0ms (3.1% of total)
ival-exp: 203.0ms (2.1% of total)
const: 183.0ms (1.9% of total)
ival-sqrt: 154.0ms (1.6% of total)
backward-pass: 148.0ms (1.6% of total)
ival-cos: 85.0ms (0.9% of total)
ival-asin: 57.0ms (0.6% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-pi: 3.0ms (0% of total)
ival-log: 3.0ms (0% of total)

explain13.8s (2.4%)

Results
5.7s13480×256valid
1.5s862×1024valid
1.6s776×2048valid
461.0ms452×512valid
987.0ms258×4096valid
60.0ms44×8192valid
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
ival-mult: 2.0s (23.8% of total)
ival-pow: 1.4s (17.1% of total)
ival-div: 1.2s (14.4% of total)
ival-tan: 784.0ms (9.5% of total)
ival-exp: 488.0ms (5.9% of total)
ival-add: 466.0ms (5.6% of total)
ival-sub: 431.0ms (5.2% of total)
ival-cos: 360.0ms (4.4% of total)
ival-sqrt: 270.0ms (3.3% of total)
ival-sin: 204.0ms (2.5% of total)
const: 190.0ms (2.3% of total)
ival-neg: 185.0ms (2.2% of total)
<compiled-spec>: 134.0ms (1.6% of total)
ival-log: 104.0ms (1.3% of total)
ival-acos: 48.0ms (0.6% of total)
ival-pi: 20.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)

series12.7s (2.3%)

Counts
1199 → 30396
Calls

8028 calls:

TimeVariablePointExpression
323.0ms
l
@-inf
(log (* l h))
307.0ms
F
@inf
(/ (/ 1 (/ (sin B) F)) (sqrt (+ (* x 2) 2)))
255.0ms
t
@inf
(/ (* (pow k 2) t) (pow l 2))
117.0ms
n
@-inf
(log (fabs (* (* 2 n) (+ (* U t) (* -2 (* U (/ (pow l 2) Om)))))))
116.0ms
U
@inf
(log (fabs (* (* 2 n) (+ (* U t) (* -2 (* U (/ (pow l 2) Om)))))))

preprocess12.7s (2.3%)

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 45308 to 28072 computations (38% saved)

analyze12.4s (2.2%)

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: 7.3s
ival-mult: 2.1s (29% of total)
ival-pow: 1.4s (19% of total)
ival-div: 1.1s (14.9% of total)
ival-sqrt: 588.0ms (8.1% of total)
ival-sub: 510.0ms (7% of total)
ival-sin: 501.0ms (6.9% of total)
ival-add: 403.0ms (5.5% of total)
ival-tan: 156.0ms (2.1% of total)
const: 128.0ms (1.8% of total)
ival-exp: 121.0ms (1.7% of total)
ival-neg: 98.0ms (1.3% of total)
ival-acos: 60.0ms (0.8% of total)
ival-asin: 30.0ms (0.4% of total)
ival-<: 28.0ms (0.4% of total)
ival-cos: 26.0ms (0.4% of total)
ival-pi: 25.0ms (0.3% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-log: 12.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
<compiled-spec>: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...