Herbie run

Date:Wednesday, March 13th, 2024
Commit:7f261a46 on tuning-128start
Hostname:nightly with Racket 8.11.1
Seed:2024073
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: 10.0min)

localize2.1min (20.6%)

Compiler

Compiled 36981 to 18916 computations (48.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-tan, time spent: 24.6s, 26.0% of total-time
Operation ival-mult, time spent: 16.2s, 17.0% of total-time
Operation ival-pow, time spent: 15.2s, 16.0% of total-time
Operation composed, time spent: 8.6s, 9.0% of total-time
Operation ival-div, time spent: 7.9s, 8.0% of total-time
Operation ival-add, time spent: 5.2s, 5.0% of total-time
Operation ival-sub, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-log, time spent: 2.0s, 2.0% of total-time
Operation ival-acos, time spent: 1.8s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 2.0% of total-time
Operation ival-exp, time spent: 1.4s, 1.0% of total-time
Operation const, time spent: 1.4s, 1.0% of total-time
Operation ival-asin, time spent: 915.0ms, 1.0% of total-time
Operation ival-sin, time spent: 847.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 662.0ms, 1.0% of total-time
Operation ival-neg, time spent: 396.0ms, 0.0% of total-time
Operation ival-pi, time spent: 70.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time

sample2.0min (20.1%)

Results
45.1s181538×0valid
13.8s66565×0invalid
9.1s42563×0infinite
11.9s18739×1valid
14.3s11252×5exit
5.4s9467×1invalid
3.1s5092×3valid
2.9s4935×2valid
505.0ms1021×1infinite
514.0ms821×2infinite
702.0ms661×4valid
531.0ms564×3infinite
42.0ms226×0unsamplable
71.0ms160×2invalid
2.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 17.8s, 24.0% of total-time
Operation ival-div, time spent: 10.1s, 14.0% of total-time
Operation ival-pow, time spent: 7.7s, 11.0% of total-time
Operation ival-sqrt, time spent: 4.8s, 7.0% of total-time
Operation backward-pass, time spent: 4.8s, 7.0% of total-time
Operation ival-exp, time spent: 4.6s, 6.0% of total-time
Operation ival-add, time spent: 4.2s, 6.0% of total-time
Operation ival-sub, time spent: 4.0s, 5.0% of total-time
Operation composed, time spent: 3.2s, 4.0% of total-time
Operation ival-sin, time spent: 3.0s, 4.0% of total-time
Operation ival-tan, time spent: 2.7s, 4.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-neg, time spent: 878.0ms, 1.0% of total-time
Operation ival-log, time spent: 736.0ms, 1.0% of total-time
Operation ival-acos, time spent: 564.0ms, 1.0% of total-time
Operation ival-pi, time spent: 519.0ms, 1.0% of total-time
Operation ival-asin, time spent: 348.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 231.0ms, 0.0% of total-time
Operation ival-<, time spent: 97.0ms, 0.0% of total-time
Operation ival-and, time spent: 14.0ms, 0.0% of total-time
Bogosity

eval1.1min (10.8%)

Compiler

Compiled 2870112 to 1800820 computations (37.3% saved)

regimes53.6s (9%)

Counts
8972 → 721
Calls

152 calls:

4.1s
l
3.9s
NaChar
3.9s
t
2.6s
k
2.4s
mu
Compiler

Compiled 8698 to 6661 computations (23.4% saved)

simplify50.6s (8.5%)

Algorithm
148×egg-herbie
Rules
49231×fma-define
40751×*-commutative
38001×times-frac
36890×associate-*r*
34769×distribute-lft-in
Stop Event
31×saturated
117×node limit
24×fuel
7×done
Counts
65524 → 56478
Compiler

Compiled 13991 to 8583 computations (38.7% saved)

soundness44.1s (7.4%)

Rules
48784×fma-define
38869×log1p-expm1-u
35631×associate-*r*
35071×times-frac
29406×*-commutative
Stop Event
7×saturated
154×node limit
1×unsound
Compiler

Compiled 30064 to 18567 computations (38.2% saved)

analyze37.4s (6.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
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.9%1.8%0%7.4%0.7%6
45%40.3%49.1%1.8%0%8%0.8%7
47.4%41.8%46.4%1.8%0%9.2%0.9%8
50.2%44.1%43.8%1.8%0%9.4%0.9%9
51.3%44.9%42.7%1.8%0%9.6%1%10
53%46.1%40.9%1.8%0%10.2%1%11
54.7%47.3%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: 32.5s
Operation ival-sin, time spent: 16.0s, 49.0% of total-time
Operation ival-tan, time spent: 6.9s, 21.0% of total-time
Operation ival-cos, time spent: 3.2s, 10.0% of total-time
Operation ival-mult, time spent: 2.2s, 7.0% of total-time
Operation ival-pow, time spent: 1.5s, 5.0% of total-time
Operation ival-div, time spent: 1.3s, 4.0% of total-time
Operation ival-add, time spent: 368.0ms, 1.0% of total-time
Operation ival-sub, time spent: 297.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 282.0ms, 1.0% of total-time
Operation const, time spent: 129.0ms, 0.0% of total-time
Operation ival-neg, time spent: 100.0ms, 0.0% of total-time
Operation ival-exp, time spent: 75.0ms, 0.0% of total-time
Operation ival-acos, time spent: 58.0ms, 0.0% of total-time
Operation ival-pi, time spent: 35.0ms, 0.0% of total-time
Operation ival-asin, time spent: 23.0ms, 0.0% of total-time
Operation ival-<, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

preprocess28.2s (4.7%)

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 64620 to 37066 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
Operation ival-mult, time spent: 1.9s, 22.0% of total-time
Operation ival-div, time spent: 1.5s, 17.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-tan, time spent: 664.0ms, 8.0% of total-time
Operation ival-sub, time spent: 604.0ms, 7.0% of total-time
Operation ival-exp, time spent: 561.0ms, 6.0% of total-time
Operation ival-sin, time spent: 505.0ms, 6.0% of total-time
Operation ival-add, time spent: 464.0ms, 5.0% of total-time
Operation ival-cos, time spent: 454.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 356.0ms, 4.0% of total-time
Operation const, time spent: 201.0ms, 2.0% of total-time
Operation composed, time spent: 159.0ms, 2.0% of total-time
Operation ival-neg, time spent: 145.0ms, 2.0% of total-time
Operation ival-log, time spent: 118.0ms, 1.0% of total-time
Operation ival-acos, time spent: 47.0ms, 1.0% of total-time
Operation ival-pi, time spent: 28.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

prune25.7s (4.3%)

Counts
88266 → 3012
Compiler

Compiled 135819 to 94791 computations (30.2% saved)

rewrite25.1s (4.2%)

Algorithm
117×batch-egg-rewrite
Rules
69141×log1p-expm1-u
50743×expm1-log1p-u
29559×add-exp-log
29434×add-log-exp
29279×pow1
Stop Event
116×node limit
1×unsound
Counts
1235 → 33398

series13.1s (2.2%)

Counts
1235 → 32126
Calls

8457 calls:

TimeVariablePointExpression
486.0ms
Vef
@-inf
(/ NdChar (+ 1 (exp (/ (+ EDonor (+ mu (- Vef Ec))) KbT))))
296.0ms
K
@inf
(cbrt (* J (* (* -2 (cos (* K 1/2))) (sqrt (+ (* 1 1) (* (* U (/ (/ 1/2 J) (cos (* K 1/2)))) (* U (/ (/ 1/2 J) (cos (* K 1/2))))))))))
251.0ms
d
@inf
(sqrt (- 1 (/ (* h (pow (/ D (* (/ d M) 2)) 2)) l)))
142.0ms
m
@0
(cbrt (* (+ m n) K))
123.0ms
h
@inf
(log (+ 1 (pow (* l h) -1/2)))

bsearch12.3s (2%)

Algorithm
309×binary-search
96×left-value
Stop Event
6×predicate-same
303×narrow-enough
Results
6.8s28080×0valid
1.7s6127×0infinite
1.0s5706×0invalid
541.0ms1059×1valid
95.0ms194×2valid
67.0ms182×1invalid
80.0ms103×3valid
91.0ms100×4valid
26.0ms52×2invalid
8.0ms13×1infinite
1.0ms2×2infinite
1.0ms2×3infinite
Compiler

Compiled 95977 to 71397 computations (25.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
Operation ival-div, time spent: 1.2s, 20.0% of total-time
Operation ival-mult, time spent: 1.2s, 19.0% of total-time
Operation ival-pow, time spent: 1.1s, 17.0% of total-time
Operation ival-add, time spent: 582.0ms, 10.0% of total-time
Operation ival-tan, time spent: 481.0ms, 8.0% of total-time
Operation ival-sin, time spent: 383.0ms, 6.0% of total-time
Operation ival-cos, time spent: 283.0ms, 5.0% of total-time
Operation ival-sub, time spent: 241.0ms, 4.0% of total-time
Operation ival-neg, time spent: 193.0ms, 3.0% of total-time
Operation ival-exp, time spent: 140.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 138.0ms, 2.0% of total-time
Operation const, time spent: 120.0ms, 2.0% of total-time
Operation backward-pass, time spent: 105.0ms, 2.0% of total-time
Operation composed, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time
Operation ival-asin, time spent: 2.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

end28.0ms (0%)

Profiling

Loading profile data...