Herbie run

Date:Saturday, March 16th, 2024
Commit:d6625134 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 28.3min)

analyze11.8min (41.7%)

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
Results
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6min
Operation ival-sin, time spent: 6.4min, 55.0% of total-time
Operation ival-cos, time spent: 4.9min, 42.0% of total-time
Operation ival-mult, time spent: 7.4s, 1.0% of total-time
Operation ival-div, time spent: 3.5s, 0.0% of total-time
Operation ival-pow, time spent: 3.2s, 0.0% of total-time
Operation ival-add, time spent: 1.0s, 0.0% of total-time
Operation ival-sub, time spent: 991.0ms, 0.0% of total-time
Operation ival-neg, time spent: 821.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 649.0ms, 0.0% of total-time
Operation ival-<, time spent: 554.0ms, 0.0% of total-time
Operation const, time spent: 443.0ms, 0.0% of total-time
Operation ival-pi, time spent: 289.0ms, 0.0% of total-time
Operation ival-exp, time spent: 236.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 156.0ms, 0.0% of total-time
Operation ival-tan, time spent: 136.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 86.0ms, 0.0% of total-time
Operation ival-log, time spent: 68.0ms, 0.0% of total-time
Operation ival-and, time spent: 66.0ms, 0.0% of total-time
Operation ival-atan, time spent: 60.0ms, 0.0% of total-time
Operation ival-acos, time spent: 39.0ms, 0.0% of total-time
Operation ival-asin, time spent: 39.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 21.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

sample5.7min (20.2%)

Results
1.2min291998×256valid
29.4s41743×512valid
6.4s27808×256invalid
7.5s26204×256unsamplable
5.6s25221×256infinite
15.3s24168×1024valid
2.5min16711×8192exit
12.0s7583×2048valid
3.9s4859×512infinite
7.1s2436×4096valid
1.4s1723×1024invalid
1.4s1221×2048invalid
734.0ms1216×512invalid
138.0ms890×256precondition
3.0s684×2048infinite
1.6s507×1024infinite
3.0s427×4096infinite
12.0ms12×512unsamplable
241.0ms11×8192valid
6.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.4min
Operation ival-pow, time spent: 2.3min, 54.0% of total-time
Operation ival-mult, time spent: 24.3s, 9.0% of total-time
Operation ival-sin, time spent: 16.3s, 6.0% of total-time
Operation ival-div, time spent: 14.1s, 5.0% of total-time
Operation ival-cos, time spent: 13.8s, 5.0% of total-time
Operation ival-exp, time spent: 10.8s, 4.0% of total-time
Operation ival-log, time spent: 10.0s, 4.0% of total-time
Operation ival-add, time spent: 7.5s, 3.0% of total-time
Operation ival-sub, time spent: 6.8s, 3.0% of total-time
Operation ival-<, time spent: 3.7s, 1.0% of total-time
Operation ival-sqrt, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.8s, 1.0% of total-time
Operation const, time spent: 2.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.7s, 1.0% of total-time
Operation ival-acos, time spent: 714.0ms, 0.0% of total-time
Operation ival-tan, time spent: 682.0ms, 0.0% of total-time
Operation ival-atan, time spent: 639.0ms, 0.0% of total-time
Operation ival-pi, time spent: 593.0ms, 0.0% of total-time
Operation ival-and, time spent: 522.0ms, 0.0% of total-time
Operation ival-asin, time spent: 301.0ms, 0.0% of total-time
Operation ival-<=, time spent: 284.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 267.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 257.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

localize3.9min (13.7%)

Results
Compiler

Compiled 56175 to 27738 computations (50.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1min
Operation ival-sin, time spent: 35.4s, 19.0% of total-time
Operation ival-pow, time spent: 33.3s, 18.0% of total-time
Operation ival-mult, time spent: 29.9s, 16.0% of total-time
Operation ival-cos, time spent: 21.7s, 12.0% of total-time
Operation composed, time spent: 13.8s, 7.0% of total-time
Operation ival-div, time spent: 13.7s, 7.0% of total-time
Operation ival-log, time spent: 7.6s, 4.0% of total-time
Operation ival-exp, time spent: 7.1s, 4.0% of total-time
Operation ival-add, time spent: 6.2s, 3.0% of total-time
Operation ival-sub, time spent: 3.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.6s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.0s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival-tan, time spent: 1.1s, 1.0% of total-time
Operation ival-atan, time spent: 647.0ms, 0.0% of total-time
Operation ival-neg, time spent: 430.0ms, 0.0% of total-time
Operation ival-acos, time spent: 260.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 185.0ms, 0.0% of total-time
Operation ival-pi, time spent: 164.0ms, 0.0% of total-time
Operation ival-asin, time spent: 156.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.5min (5.3%)

Compiler

Compiled 4354260 to 2442558 computations (43.9% saved)

soundness58.5s (3.4%)

Rules
75090×fma-define
62831×log1p-expm1-u
47791×associate-*r*
45789×expm1-log1p-u
43649×fmm-def
Stop Event
14×saturated
210×node limit
4×unsound
Compiler

Compiled 42606 to 25094 computations (41.1% saved)

simplify58.3s (3.4%)

Algorithm
212×egg-herbie
Rules
62937×fma-define
53590×associate-*r*
48072×*-commutative
45662×distribute-lft-in
42037×fmm-def
Stop Event
47×saturated
36×fuel
160×node limit
5×unsound
10×done
Counts
81754 → 70575
Compiler

Compiled 13333 to 8999 computations (32.5% saved)

preprocess51.7s (3%)

Algorithm
48×egg-herbie
Rules
29576×fma-define
18659×fmm-def
12571×div-sub
10635×sub-neg
9696×unsub-neg
Stop Event
21×saturated
27×node limit
Compiler

Compiled 55602 to 32154 computations (42.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.2s
Operation ival-sin, time spent: 5.4s, 24.0% of total-time
Operation ival-mult, time spent: 4.3s, 19.0% of total-time
Operation ival-cos, time spent: 2.6s, 12.0% of total-time
Operation ival-div, time spent: 2.6s, 12.0% of total-time
Operation ival-pow, time spent: 1.9s, 9.0% of total-time
Operation ival-sub, time spent: 1.1s, 5.0% of total-time
Operation ival-add, time spent: 1.1s, 5.0% of total-time
Operation ival-log, time spent: 858.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 616.0ms, 3.0% of total-time
Operation const, time spent: 349.0ms, 2.0% of total-time
Operation ival-tan, time spent: 292.0ms, 1.0% of total-time
Operation ival-exp, time spent: 281.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 234.0ms, 1.0% of total-time
Operation ival-neg, time spent: 171.0ms, 1.0% of total-time
Operation ival-atan, time spent: 143.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 79.0ms, 0.0% of total-time
Operation ival-pi, time spent: 70.0ms, 0.0% of total-time
Operation ival-acos, time spent: 50.0ms, 0.0% of total-time
Operation ival-asin, time spent: 45.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time

regimes47.7s (2.8%)

Counts
16321 → 800
Calls

126 calls:

3.9s
lambda1
3.7s
phi2
3.2s
b
3.1s
phi1
3.1s
lambda2
Compiler

Compiled 8853 to 6564 computations (25.9% saved)

prune43.8s (2.6%)

Counts
137921 → 5783
Compiler

Compiled 306473 to 209040 computations (31.8% saved)

rewrite35.6s (2.1%)

Algorithm
166×batch-egg-rewrite
Rules
112493×log1p-expm1-u
79716×expm1-log1p-u
38889×pow1
38136×add-exp-log
36866×add-log-exp
Stop Event
163×node limit
3×unsound
Counts
1561 → 46139

bsearch16.9s (1%)

Algorithm
310×binary-search
54×left-value
Stop Event
13×predicate-same
297×narrow-enough
Results
6.8s26506×256valid
3.3s4420×512valid
1.9s1612×4096valid
1.4s1577×2048valid
219.0ms1265×256invalid
592.0ms1043×1024valid
309.0ms1017×256infinite
223.0ms401×512infinite
Compiler

Compiled 79896 to 60536 computations (24.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
Operation ival-mult, time spent: 1.8s, 19.0% of total-time
Operation ival-cos, time spent: 1.5s, 15.0% of total-time
Operation ival-sin, time spent: 1.4s, 15.0% of total-time
Operation ival-sub, time spent: 897.0ms, 9.0% of total-time
Operation ival-pow, time spent: 820.0ms, 9.0% of total-time
Operation ival-div, time spent: 764.0ms, 8.0% of total-time
Operation ival-atan, time spent: 603.0ms, 6.0% of total-time
Operation ival-add, time spent: 422.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 371.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 209.0ms, 2.0% of total-time
Operation ival-acos, time spent: 187.0ms, 2.0% of total-time
Operation const, time spent: 151.0ms, 2.0% of total-time
Operation ival-log, time spent: 126.0ms, 1.0% of total-time
Operation ival-pi, time spent: 121.0ms, 1.0% of total-time
Operation ival-exp, time spent: 83.0ms, 1.0% of total-time
Operation ival-neg, time spent: 71.0ms, 1.0% of total-time
Operation ival-asin, time spent: 33.0ms, 0.0% of total-time
Operation ival-tan, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 4.0ms, 0.0% of total-time

series12.1s (0.7%)

Counts
1561 → 35615
Calls

8820 calls:

TimeVariablePointExpression
140.0ms
x
@0
(pow (pow (+ (* x x) -1) 3) 1/6)
120.0ms
a
@-inf
(log (+ (/ b (+ 1 (exp a))) (log (+ 1 (exp a)))))
81.0ms
B
@0
(log (sqrt (* (* F (pow B 3)) 2)))
80.0ms
b
@-inf
(- (sqrt (+ (* a (* c -4)) (* b b))) b)
74.0ms
x
@-inf
(+ (log 2) (log x))

end34.0ms (0%)

Profiling

Loading profile data...