Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 26.7min)

sample7.9min (29.5%)

Results
1.3min298787×256valid
40.5s45618×512valid
5.9s27521×256invalid
6.9s27402×256infinite
7.6s26407×256unsamplable
21.1s25305×1024valid
2.7min16521×8192exit
31.6s11176×2048valid
53.0s7309×4096valid
6.6s6118×512infinite
1.3s1570×1024invalid
577.0ms1175×512invalid
19.5s1128×8192valid
1.2s1115×2048invalid
116.0ms931×256precondition
4.5s680×2048infinite
2.2s558×1024infinite
3.5s381×4096infinite
8.0ms7×512unsamplable
4.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.2min
Operation ival-pow, time spent: 2.5min, 40.0% of total-time
Operation ival-sin, time spent: 48.8s, 13.0% of total-time
Operation ival-mult, time spent: 43.6s, 12.0% of total-time
Operation ival-cos, time spent: 34.8s, 9.0% of total-time
Operation ival-div, time spent: 33.4s, 9.0% of total-time
Operation ival-exp, time spent: 10.8s, 3.0% of total-time
Operation ival-log, time spent: 10.5s, 3.0% of total-time
Operation ival-add, time spent: 10.1s, 3.0% of total-time
Operation ival-sub, time spent: 8.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 2.0% of total-time
Operation const, time spent: 3.7s, 1.0% of total-time
Operation ival-<, time spent: 3.0s, 1.0% of total-time
Operation ival-neg, time spent: 2.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-pi, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 1.1s, 0.0% of total-time
Operation ival-tan, time spent: 972.0ms, 0.0% of total-time
Operation ival-acos, time spent: 868.0ms, 0.0% of total-time
Operation ival-and, time spent: 544.0ms, 0.0% of total-time
Operation ival-asin, time spent: 359.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 349.0ms, 0.0% of total-time
Operation ival-<=, time spent: 280.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 113.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize7.3min (27.5%)

Results
Compiler

Compiled 84882 to 47620 computations (43.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1min
Operation ival-sin, time spent: 2.5min, 40.0% of total-time
Operation ival-mult, time spent: 58.2s, 16.0% of total-time
Operation ival-pow, time spent: 39.3s, 11.0% of total-time
Operation ival-cos, time spent: 36.5s, 10.0% of total-time
Operation ival-div, time spent: 24.5s, 7.0% of total-time
Operation composed, time spent: 17.0s, 5.0% of total-time
Operation ival-add, time spent: 9.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 8.3s, 2.0% of total-time
Operation ival-log, time spent: 6.9s, 2.0% of total-time
Operation ival-sub, time spent: 5.2s, 1.0% of total-time
Operation const, time spent: 4.5s, 1.0% of total-time
Operation ival-exp, time spent: 3.5s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.2s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 922.0ms, 0.0% of total-time
Operation ival-tan, time spent: 694.0ms, 0.0% of total-time
Operation ival-neg, time spent: 492.0ms, 0.0% of total-time
Operation ival-acos, time spent: 422.0ms, 0.0% of total-time
Operation ival-pi, time spent: 232.0ms, 0.0% of total-time
Operation ival-asin, time spent: 63.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 58.0ms, 0.0% of total-time

eval2.6min (9.6%)

Compiler

Compiled 6496962 to 3904591 computations (39.9% saved)

preprocess2.2min (8.4%)

Algorithm
51×egg-herbie
Rules
63000×fma-define
37664×fma-neg
25928×div-sub
22916×unsub-neg
22266×sub-neg
Stop Event
21×saturated
30×node limit
Results
Compiler

Compiled 84102 to 52756 computations (37.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-sin, time spent: 24.3s, 28.0% of total-time
Operation ival-cos, time spent: 17.8s, 20.0% of total-time
Operation ival-mult, time spent: 16.7s, 19.0% of total-time
Operation ival-div, time spent: 12.5s, 14.0% of total-time
Operation ival-pow, time spent: 7.5s, 9.0% of total-time
Operation ival-add, time spent: 2.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 2.0% of total-time
Operation ival-sub, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-exp, time spent: 715.0ms, 1.0% of total-time
Operation ival-log, time spent: 581.0ms, 1.0% of total-time
Operation ival-tan, time spent: 368.0ms, 0.0% of total-time
Operation ival-atan, time spent: 208.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 191.0ms, 0.0% of total-time
Operation ival-pi, time spent: 143.0ms, 0.0% of total-time
Operation ival-neg, time spent: 136.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 74.0ms, 0.0% of total-time
Operation ival-acos, time spent: 60.0ms, 0.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time

regimes1.8min (6.6%)

Counts
19663 → 787
Calls

138 calls:

9.1s
lambda1
9.1s
phi1
8.3s
lambda2
7.8s
phi2
5.5s
(-.f64 lambda1 lambda2)
Compiler

Compiled 12297 to 9011 computations (26.7% saved)

simplify1.2min (4.5%)

Algorithm
225×egg-herbie
Rules
154220×fma-define
107572×associate-*r*
107260×distribute-lft-in
105188×*-commutative
95252×distribute-rgt-in
Stop Event
50×saturated
40×fuel
174×node limit
1×unsound
9×done
Counts
90185 → 75458
Compiler

Compiled 14778 to 10152 computations (31.3% saved)

soundness1.1min (4%)

Rules
160578×fma-define
102164×associate-*r*
87212×distribute-lft-in
85840×fma-neg
77128×distribute-rgt-in
Stop Event
13×saturated
212×node limit
4×unsound
Results
Compiler

Compiled 46698 to 27588 computations (40.9% saved)

prune50.4s (3.1%)

Counts
149354 → 6666
Compiler

Compiled 432480 to 301103 computations (30.4% saved)

analyze38.0s (2.4%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0s
Operation ival-mult, time spent: 7.0s, 25.0% of total-time
Operation ival-cos, time spent: 4.2s, 15.0% of total-time
Operation ival-sin, time spent: 4.2s, 15.0% of total-time
Operation ival-div, time spent: 4.0s, 14.0% of total-time
Operation ival-pow, time spent: 2.8s, 10.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 6.0% of total-time
Operation ival-add, time spent: 1.3s, 5.0% of total-time
Operation ival-sub, time spent: 794.0ms, 3.0% of total-time
Operation const, time spent: 419.0ms, 1.0% of total-time
Operation ival-asin, time spent: 346.0ms, 1.0% of total-time
Operation ival-<, time spent: 269.0ms, 1.0% of total-time
Operation ival-neg, time spent: 229.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 186.0ms, 1.0% of total-time
Operation ival-exp, time spent: 103.0ms, 0.0% of total-time
Operation ival-log, time spent: 96.0ms, 0.0% of total-time
Operation ival-pi, time spent: 92.0ms, 0.0% of total-time
Operation ival-tan, time spent: 88.0ms, 0.0% of total-time
Operation ival-acos, time spent: 71.0ms, 0.0% of total-time
Operation ival-atan, time spent: 55.0ms, 0.0% of total-time
Operation ival-and, time spent: 45.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 36.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 31.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

rewrite36.3s (2.3%)

Algorithm
176×batch-egg-rewrite
Rules
109544×log1p-expm1-u
84081×expm1-log1p-u
51142×log-prod
47216×unpow-prod-down
43517×pow1
Stop Event
172×node limit
4×unsound
Counts
1713 → 49435

bsearch18.3s (1.1%)

Algorithm
266×binary-search
61×left-value
Stop Event
4×predicate-same
262×narrow-enough
Results
7.5s25322×256valid
4.5s5314×512valid
353.0ms1629×256invalid
1.3s1252×2048valid
764.0ms943×1024valid
876.0ms835×4096valid
196.0ms617×256infinite
213.0ms229×512infinite
6.0ms40×256unsamplable
Compiler

Compiled 88470 to 66927 computations (24.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
Operation ival-sin, time spent: 2.0s, 18.0% of total-time
Operation ival-mult, time spent: 1.9s, 18.0% of total-time
Operation ival-cos, time spent: 1.8s, 17.0% of total-time
Operation ival-div, time spent: 812.0ms, 8.0% of total-time
Operation ival-add, time spent: 801.0ms, 8.0% of total-time
Operation ival-pow, time spent: 715.0ms, 7.0% of total-time
Operation ival-sub, time spent: 692.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 581.0ms, 5.0% of total-time
Operation ival-atan, time spent: 337.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 304.0ms, 3.0% of total-time
Operation ival-acos, time spent: 174.0ms, 2.0% of total-time
Operation const, time spent: 155.0ms, 1.0% of total-time
Operation ival-log, time spent: 117.0ms, 1.0% of total-time
Operation ival-exp, time spent: 88.0ms, 1.0% of total-time
Operation ival-pi, time spent: 75.0ms, 1.0% of total-time
Operation ival-neg, time spent: 71.0ms, 1.0% of total-time
Operation ival-asin, time spent: 31.0ms, 0.0% of total-time
Operation ival-tan, time spent: 27.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

series16.6s (1%)

Counts
1713 → 40750
Calls

9912 calls:

TimeVariablePointExpression
294.0ms
a
@0
(cbrt (* a 2))
242.0ms
b
@0
(* c (/ -1/2 b))
139.0ms
x
@0
(/ (log 2) x)
135.0ms
a
@-inf
(log (+ 1 (log (+ 1 (+ (/ b (+ 1 (exp a))) (log (+ 1 (exp a))))))))
110.0ms
phi1
@-inf
(log (+ 1 (* (* lambda2 R) (cos (* 1/2 (+ phi2 phi1))))))

end37.0ms (0%)

Profiling

Loading profile data...