Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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: 27.3min)

sample7.8min (28.5%)

Results
1.3min298973×256valid
40.9s45551×512valid
5.8s27670×256invalid
7.6s27317×256infinite
8.0s26091×256unsamplable
20.7s25345×1024valid
2.7min16386×8192exit
30.1s11151×2048valid
52.0s7323×4096valid
5.9s5855×512infinite
1.4s1687×1024invalid
547.0ms1199×512invalid
20.5s1159×8192valid
1.1s1130×2048invalid
115.0ms887×256precondition
3.4s706×2048infinite
1.7s534×1024infinite
3.0s385×4096infinite
6.0ms6×512unsamplable
5.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.1min
Operation ival-pow, time spent: 2.5min, 41.0% of total-time
Operation ival-sin, time spent: 48.2s, 13.0% of total-time
Operation ival-mult, time spent: 41.5s, 11.0% of total-time
Operation ival-cos, time spent: 35.3s, 10.0% of total-time
Operation ival-div, time spent: 32.1s, 9.0% of total-time
Operation ival-exp, time spent: 11.0s, 3.0% of total-time
Operation ival-log, time spent: 10.3s, 3.0% of total-time
Operation ival-add, time spent: 9.9s, 3.0% of total-time
Operation ival-sub, time spent: 8.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.2s, 1.0% of total-time
Operation const, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.8s, 1.0% of total-time
Operation ival-<, time spent: 2.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.7s, 0.0% of total-time
Operation ival-atan, time spent: 1.4s, 0.0% of total-time
Operation ival-pi, time spent: 1.3s, 0.0% of total-time
Operation ival-acos, time spent: 782.0ms, 0.0% of total-time
Operation ival-tan, time spent: 678.0ms, 0.0% of total-time
Operation ival-and, time spent: 515.0ms, 0.0% of total-time
Operation ival-asin, time spent: 294.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 234.0ms, 0.0% of total-time
Operation ival-<=, time spent: 232.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 101.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.8min (28.4%)

Results
Compiler

Compiled 85599 to 47567 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5min
Operation ival-sin, time spent: 2.9min, 45.0% of total-time
Operation ival-mult, time spent: 52.2s, 13.0% of total-time
Operation ival-cos, time spent: 45.1s, 12.0% of total-time
Operation ival-pow, time spent: 37.4s, 10.0% of total-time
Operation ival-div, time spent: 25.9s, 7.0% of total-time
Operation composed, time spent: 11.8s, 3.0% of total-time
Operation ival-add, time spent: 8.5s, 2.0% of total-time
Operation ival-log, time spent: 7.8s, 2.0% of total-time
Operation ival-sub, time spent: 5.1s, 1.0% of total-time
Operation ival-sqrt, time spent: 5.0s, 1.0% of total-time
Operation const, time spent: 4.2s, 1.0% of total-time
Operation ival-exp, time spent: 3.9s, 1.0% of total-time
Operation ival-atan2, time spent: 2.4s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.0s, 1.0% of total-time
Operation ival-neg, time spent: 998.0ms, 0.0% of total-time
Operation ival-tan, time spent: 861.0ms, 0.0% of total-time
Operation ival-atan, time spent: 746.0ms, 0.0% of total-time
Operation ival-acos, time spent: 728.0ms, 0.0% of total-time
Operation ival-pi, time spent: 184.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 65.0ms, 0.0% of total-time
Operation ival-e, time spent: 49.0ms, 0.0% of total-time
Operation ival-asin, time spent: 42.0ms, 0.0% of total-time

eval2.9min (10.5%)

Compiler

Compiled 7532279 to 4352124 computations (42.2% saved)

preprocess2.1min (7.8%)

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 73460 to 43420 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 25.1s, 29.0% of total-time
Operation ival-cos, time spent: 16.7s, 20.0% of total-time
Operation ival-mult, time spent: 14.8s, 17.0% of total-time
Operation ival-div, time spent: 11.8s, 14.0% of total-time
Operation ival-pow, time spent: 9.0s, 10.0% of total-time
Operation ival-add, time spent: 2.4s, 3.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 1.0% of total-time
Operation const, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 632.0ms, 1.0% of total-time
Operation ival-tan, time spent: 402.0ms, 0.0% of total-time
Operation ival-exp, time spent: 297.0ms, 0.0% of total-time
Operation ival-atan, time spent: 213.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 175.0ms, 0.0% of total-time
Operation ival-neg, time spent: 149.0ms, 0.0% of total-time
Operation ival-pi, time spent: 86.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 67.0ms, 0.0% of total-time
Operation ival-acos, time spent: 47.0ms, 0.0% of total-time
Operation ival-asin, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

regimes1.7min (6.1%)

Counts
18882 → 876
Calls

138 calls:

8.7s
phi1
6.9s
lambda1
6.8s
lambda2
6.3s
phi2
5.7s
b
Compiler

Compiled 12131 to 8914 computations (26.5% saved)

simplify1.3min (4.7%)

Algorithm
225×egg-herbie
Rules
145846×fma-define
112862×associate-*r*
104096×*-commutative
101740×distribute-lft-in
92144×distribute-rgt-in
Stop Event
49×saturated
39×fuel
173×node limit
3×unsound
9×done
Counts
88658 → 75671
Compiler

Compiled 14350 to 9707 computations (32.4% saved)

soundness57.9s (3.5%)

Rules
151862×fma-define
95388×associate-*r*
83972×fma-neg
83116×distribute-lft-in
75302×distribute-rgt-in
Stop Event
14×saturated
211×node limit
3×unsound
Results
Compiler

Compiled 43349 to 25782 computations (40.5% saved)

prune56.6s (3.4%)

Counts
169920 → 6504
Compiler

Compiled 426020 to 297473 computations (30.2% saved)

rewrite38.7s (2.4%)

Algorithm
177×batch-egg-rewrite
Rules
114955×log1p-expm1-u
82015×expm1-log1p-u
54348×log-prod
44714×unpow-prod-down
44630×prod-diff
Stop Event
174×node limit
3×unsound
Counts
1636 → 50545

analyze38.2s (2.3%)

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: 27.1s
Operation ival-mult, time spent: 7.3s, 27.0% of total-time
Operation ival-cos, time spent: 4.4s, 16.0% of total-time
Operation ival-sin, time spent: 4.4s, 16.0% of total-time
Operation ival-div, time spent: 3.6s, 13.0% of total-time
Operation ival-pow, time spent: 3.3s, 12.0% of total-time
Operation ival-add, time spent: 979.0ms, 4.0% of total-time
Operation ival-sub, time spent: 967.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 467.0ms, 2.0% of total-time
Operation const, time spent: 421.0ms, 2.0% of total-time
Operation ival-neg, time spent: 265.0ms, 1.0% of total-time
Operation ival-<, time spent: 248.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 145.0ms, 1.0% of total-time
Operation ival-pi, time spent: 123.0ms, 0.0% of total-time
Operation ival-exp, time spent: 102.0ms, 0.0% of total-time
Operation ival-tan, time spent: 95.0ms, 0.0% of total-time
Operation ival-log, time spent: 64.0ms, 0.0% of total-time
Operation ival-atan, time spent: 57.0ms, 0.0% of total-time
Operation ival-and, time spent: 43.0ms, 0.0% of total-time
Operation ival-asin, time spent: 42.0ms, 0.0% of total-time
Operation ival-acos, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 32.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 20.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

bsearch21.3s (1.3%)

Algorithm
342×binary-search
52×left-value
Stop Event
6×predicate-same
336×narrow-enough
Results
7.5s28641×256valid
5.1s5420×512valid
1.8s2056×2048valid
2.2s1462×4096valid
987.0ms1389×1024valid
304.0ms1105×256invalid
259.0ms675×256infinite
204.0ms278×512infinite
109.0ms16×4096infinite
38.0ms11×2048infinite
3.0ms7×512invalid
5.0ms3×1024infinite
Compiler

Compiled 93377 to 70478 computations (24.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.5s
Operation ival-mult, time spent: 2.4s, 19.0% of total-time
Operation ival-sin, time spent: 2.1s, 17.0% of total-time
Operation ival-cos, time spent: 1.8s, 14.0% of total-time
Operation ival-div, time spent: 1.3s, 10.0% of total-time
Operation ival-pow, time spent: 1.3s, 10.0% of total-time
Operation ival-sub, time spent: 940.0ms, 8.0% of total-time
Operation ival-add, time spent: 559.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 503.0ms, 4.0% of total-time
Operation ival-atan, time spent: 492.0ms, 4.0% of total-time
Operation ival-acos, time spent: 320.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 232.0ms, 2.0% of total-time
Operation const, time spent: 199.0ms, 2.0% of total-time
Operation ival-pi, time spent: 154.0ms, 1.0% of total-time
Operation ival-exp, time spent: 105.0ms, 1.0% of total-time
Operation ival-neg, time spent: 95.0ms, 1.0% of total-time
Operation ival-log, time spent: 78.0ms, 1.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 21.0ms, 0.0% of total-time
Operation ival-tan, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

series15.8s (1%)

Counts
1636 → 38113
Calls

9438 calls:

TimeVariablePointExpression
423.0ms
a
@-inf
(log (+ 1 (exp (- b a))))
337.0ms
a
@inf
(* (- (pow b 2) (pow a 2)) (sin (* 1/180 (* angle (PI)))))
128.0ms
a
@-inf
(* (/ (- (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (/ (* 2 (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (cos (* angle (/ (PI) 180))))) (* y-scale x-scale)) (/ (* 2 (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (cos (* angle (/ (PI) 180))))) (* y-scale x-scale)))))) (sin (* angle (/ (PI) 180)))) (/ y-scale (* (* 2 (- (pow b 2) (pow a 2))) (/ (cos (* angle (/ (PI) 180))) x-scale))))
87.0ms
a
@-inf
(* (pow a 2) (+ (* -1 (/ (+ (* 3/8 (/ (pow c 2) (pow b 3))) (* 1/2 (/ c (* a b)))) a)) (* -9/16 (/ (pow c 3) (pow b 5)))))
78.0ms
B
@-inf
(log (/ F B))

end32.0ms (0%)

Profiling

Loading profile data...