Herbie run

Date:Thursday, March 21st, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024081
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.9min)

localize8.8min (32.7%)

Results
47.6s27169×256valid
40.1s4391×512valid
8.3s3666×256invalid
4.3min3027×8192exit
16.5s2542×1024valid
5.0s2457×256infinite
34.7s2413×2048valid
29.3s430×4096valid
5.2s379×512infinite
4.1s286×2048infinite
2.6s273×512invalid
2.4s101×1024infinite
2.5s36×4096infinite
6.7s19×8192valid
6.0ms2×1024invalid
Compiler

Compiled 82958 to 45921 computations (44.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4min
Operation ival-sin, time spent: 1.8min, 25.0% of total-time
Operation ival-cos, time spent: 1.6min, 22.0% of total-time
Operation ival-mult, time spent: 1.1min, 15.0% of total-time
Operation ival-pow, time spent: 55.9s, 13.0% of total-time
Operation ival-div, time spent: 29.7s, 7.0% of total-time
Operation composed, time spent: 22.5s, 5.0% of total-time
Operation ival-log, time spent: 12.8s, 3.0% of total-time
Operation ival-exp, time spent: 11.0s, 2.0% of total-time
Operation ival-add, time spent: 9.5s, 2.0% of total-time
Operation ival-sub, time spent: 6.4s, 1.0% of total-time
Operation ival-sqrt, time spent: 5.8s, 1.0% of total-time
Operation const, time spent: 5.0s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.9s, 0.0% of total-time
Operation ival-atan, time spent: 1.3s, 0.0% of total-time
Operation ival-tan, time spent: 1.1s, 0.0% of total-time
Operation ival-acos, time spent: 1.1s, 0.0% of total-time
Operation ival-neg, time spent: 626.0ms, 0.0% of total-time
Operation ival-e, time spent: 305.0ms, 0.0% of total-time
Operation ival-pi, time spent: 270.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 143.0ms, 0.0% of total-time
Operation ival-asin, time spent: 80.0ms, 0.0% of total-time

sample7.8min (28.9%)

Results
1.1min299167×256valid
37.0s45829×512valid
4.7s28114×256invalid
5.5s27163×256infinite
6.9s26770×256unsamplable
19.4s25383×1024valid
2.6min16663×8192exit
28.2s11102×2048valid
52.9s7396×4096valid
5.7s5806×512infinite
1.4s1634×1024invalid
718.0ms1222×512invalid
1.7s1170×2048invalid
21.2s1097×8192valid
91.0ms924×256precondition
3.1s667×2048infinite
1.5s520×1024infinite
2.5s375×4096infinite
5.0ms6×512unsamplable
3.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.1min
Operation ival-pow, time spent: 2.6min, 42.0% of total-time
Operation ival-sin, time spent: 45.3s, 12.0% of total-time
Operation ival-mult, time spent: 41.0s, 11.0% of total-time
Operation ival-cos, time spent: 33.6s, 9.0% of total-time
Operation ival-div, time spent: 30.6s, 8.0% of total-time
Operation ival-exp, time spent: 10.4s, 3.0% of total-time
Operation ival-add, time spent: 10.2s, 3.0% of total-time
Operation ival-log, time spent: 9.1s, 2.0% of total-time
Operation ival-sub, time spent: 8.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.9s, 1.0% of total-time
Operation const, time spent: 3.5s, 1.0% of total-time
Operation ival-neg, time spent: 3.0s, 1.0% of total-time
Operation ival-<, time spent: 2.5s, 1.0% of total-time
Operation ival-atan2, time spent: 2.1s, 1.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-atan, time spent: 978.0ms, 0.0% of total-time
Operation ival-acos, time spent: 726.0ms, 0.0% of total-time
Operation ival-tan, time spent: 722.0ms, 0.0% of total-time
Operation ival-and, time spent: 503.0ms, 0.0% of total-time
Operation ival-<=, time spent: 321.0ms, 0.0% of total-time
Operation ival-asin, time spent: 289.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 238.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 205.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

eval2.4min (9.1%)

Compiler

Compiled 7035306 to 4244164 computations (39.7% saved)

preprocess2.1min (7.9%)

Algorithm
51×egg-herbie
Rules
31500×fma-define
18832×fma-neg
12964×div-sub
11458×unsub-neg
11133×sub-neg
Stop Event
21×saturated
30×node limit
Results
10.3s16974×256valid
10.3s3272×512valid
6.5s1796×1024valid
1.4s1650×256infinite
15.1s1148×2048valid
30.9s568×4096valid
2.4s464×512infinite
1.3s108×2048infinite
14.5s76×8192valid
351.0ms30×1024infinite
1.5s26×4096infinite
Compiler

Compiled 83432 to 51480 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 22.8s, 27.0% of total-time
Operation ival-cos, time spent: 17.1s, 20.0% of total-time
Operation ival-mult, time spent: 14.0s, 16.0% of total-time
Operation ival-div, time spent: 12.8s, 15.0% of total-time
Operation ival-pow, time spent: 9.9s, 12.0% of total-time
Operation ival-sub, time spent: 2.3s, 3.0% of total-time
Operation ival-add, time spent: 2.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 1.0% of total-time
Operation const, time spent: 997.0ms, 1.0% of total-time
Operation ival-log, time spent: 518.0ms, 1.0% of total-time
Operation ival-tan, time spent: 321.0ms, 0.0% of total-time
Operation ival-atan, time spent: 230.0ms, 0.0% of total-time
Operation ival-exp, time spent: 228.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 197.0ms, 0.0% of total-time
Operation ival-neg, time spent: 151.0ms, 0.0% of total-time
Operation ival-pi, time spent: 83.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 72.0ms, 0.0% of total-time
Operation ival-acos, time spent: 70.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 43.0ms, 0.0% of total-time
Operation ival-asin, time spent: 34.0ms, 0.0% of total-time

simplify1.2min (4.4%)

Algorithm
224×egg-herbie
Rules
74693×fma-define
56141×associate-*r*
54161×distribute-lft-in
52546×*-commutative
46094×distribute-rgt-in
Stop Event
49×saturated
38×fuel
175×node limit
10×done
Counts
85141 → 74480
Compiler

Compiled 15114 to 10347 computations (31.5% saved)

soundness57.0s (3.5%)

Rules
71998×fma-define
55110×log1p-expm1-u
51840×associate-*r*
42501×expm1-log1p-u
40367×fma-neg
Stop Event
15×saturated
201×node limit
2×unsound
Compiler

Compiled 41301 to 24719 computations (40.1% saved)

regimes56.7s (3.5%)

Counts
18640 → 778
Calls

137 calls:

4.9s
phi1
4.6s
lambda1
4.6s
lambda2
4.4s
phi2
3.4s
(-.f64 lambda1 lambda2)
Compiler

Compiled 10792 to 7968 computations (26.2% saved)

prune52.5s (3.3%)

Counts
162707 → 6354
Compiler

Compiled 400783 to 279062 computations (30.4% saved)

rewrite36.4s (2.3%)

Algorithm
176×batch-egg-rewrite
Rules
113164×log1p-expm1-u
81271×expm1-log1p-u
43624×pow1
41042×add-exp-log
39691×add-log-exp
Stop Event
172×node limit
4×unsound
Counts
1614 → 47483

analyze36.2s (2.2%)

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: 25.0s
Operation ival-mult, time spent: 7.8s, 31.0% of total-time
Operation ival-div, time spent: 3.3s, 13.0% of total-time
Operation ival-pow, time spent: 3.2s, 13.0% of total-time
Operation ival-sin, time spent: 3.0s, 12.0% of total-time
Operation ival-cos, time spent: 2.8s, 11.0% of total-time
Operation ival-sub, time spent: 1.4s, 5.0% of total-time
Operation ival-add, time spent: 1.1s, 4.0% of total-time
Operation ival-sqrt, time spent: 722.0ms, 3.0% of total-time
Operation const, time spent: 427.0ms, 2.0% of total-time
Operation ival-neg, time spent: 283.0ms, 1.0% of total-time
Operation ival-<, time spent: 276.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 151.0ms, 1.0% of total-time
Operation ival-exp, time spent: 98.0ms, 0.0% of total-time
Operation ival-pi, time spent: 97.0ms, 0.0% of total-time
Operation ival-tan, time spent: 75.0ms, 0.0% of total-time
Operation ival-and, time spent: 65.0ms, 0.0% of total-time
Operation ival-log, time spent: 63.0ms, 0.0% of total-time
Operation ival-atan, time spent: 60.0ms, 0.0% of total-time
Operation ival-asin, time spent: 39.0ms, 0.0% of total-time
Operation ival-acos, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 36.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

bsearch20.0s (1.2%)

Algorithm
279×binary-search
53×left-value
Stop Event
6×predicate-same
273×narrow-enough
Results
6.5s24034×256valid
6.2s6572×512valid
991.0ms1258×2048valid
1.0s1205×1024valid
149.0ms903×256invalid
433.0ms830×256infinite
445.0ms471×4096valid
882.0ms350×512infinite
2.0ms31×256unsamplable
Compiler

Compiled 93541 to 70672 computations (24.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.8s
Operation ival-mult, time spent: 2.4s, 19.0% of total-time
Operation ival-cos, time spent: 2.1s, 16.0% of total-time
Operation ival-sin, time spent: 2.0s, 16.0% of total-time
Operation ival-pow, time spent: 1.9s, 15.0% of total-time
Operation ival-div, time spent: 1.3s, 10.0% of total-time
Operation ival-sub, time spent: 769.0ms, 6.0% of total-time
Operation ival-add, time spent: 502.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 393.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 309.0ms, 2.0% of total-time
Operation ival-acos, time spent: 288.0ms, 2.0% of total-time
Operation ival-atan, time spent: 241.0ms, 2.0% of total-time
Operation const, time spent: 180.0ms, 1.0% of total-time
Operation ival-exp, time spent: 143.0ms, 1.0% of total-time
Operation ival-log, time spent: 117.0ms, 1.0% of total-time
Operation ival-neg, time spent: 89.0ms, 1.0% of total-time
Operation ival-pi, time spent: 71.0ms, 1.0% of total-time
Operation ival-asin, time spent: 18.0ms, 0.0% of total-time
Operation ival-tan, time spent: 5.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series15.3s (1%)

Counts
1614 → 37658
Calls

9228 calls:

TimeVariablePointExpression
204.0ms
a
@0
(* -3/8 (/ (* a (pow c 2)) (pow b 2)))
121.0ms
b
@0
(- (- (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)))) (* (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))))))
118.0ms
B
@0
(/ (* (sqrt (+ (* B B) (* (sqrt (* (* A C) -4)) (sqrt (* (* A C) -4))))) (sqrt (* F (* 2 (+ A (+ C (sqrt (+ (* (- A C) (- A C)) (* B B))))))))) (neg (+ (* B B) (* A (* C -4)))))
91.0ms
lambda1
@inf
(log (sin (- lambda1 lambda2)))
89.0ms
g
@0
(* (pow (cbrt (cbrt (/ (* -1 g) a))) 2) (cbrt (cbrt (/ (* -1 g) a))))

end31.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 6.2s
Operation ival-mult, time spent: 4.1s, 66.0% of total-time
Operation ival-pow, time spent: 2.1s, 34.0% of total-time

Profiling

Loading profile data...