Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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.5min)

sample7.8min (29.2%)

Results
1.3min298618×256valid
39.4s45469×512valid
5.6s27871×256invalid
7.3s27337×256infinite
19.5s25412×1024valid
7.3s25289×256unsamplable
2.6min16305×8192exit
29.9s11164×2048valid
54.8s7422×4096valid
5.9s5977×512infinite
1.5s1791×1024invalid
1.2s1148×2048invalid
597.0ms1107×512invalid
20.6s1095×8192valid
104.0ms878×256precondition
3.4s736×2048infinite
1.7s533×1024infinite
3.0s423×4096infinite
10.0ms5×1024unsamplable
2.0ms2×512unsamplable
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: 47.8s, 13.0% of total-time
Operation ival-mult, time spent: 40.0s, 11.0% of total-time
Operation ival-cos, time spent: 36.1s, 10.0% of total-time
Operation ival-div, time spent: 31.5s, 9.0% of total-time
Operation ival-exp, time spent: 10.7s, 3.0% of total-time
Operation ival-add, time spent: 9.8s, 3.0% of total-time
Operation ival-log, time spent: 8.8s, 2.0% of total-time
Operation ival-sub, time spent: 8.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.4s, 1.0% of total-time
Operation const, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.6s, 1.0% of total-time
Operation ival-<, time spent: 2.4s, 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: 958.0ms, 0.0% of total-time
Operation ival-acos, time spent: 796.0ms, 0.0% of total-time
Operation ival-tan, time spent: 663.0ms, 0.0% of total-time
Operation ival-and, time spent: 514.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 402.0ms, 0.0% of total-time
Operation ival-asin, time spent: 280.0ms, 0.0% of total-time
Operation ival-<=, time spent: 216.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 74.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.7min (29%)

Results
Compiler

Compiled 85931 to 47559 computations (44.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4min
Operation ival-sin, time spent: 2.8min, 44.0% of total-time
Operation ival-mult, time spent: 55.9s, 15.0% of total-time
Operation ival-cos, time spent: 40.8s, 11.0% of total-time
Operation ival-pow, time spent: 37.9s, 10.0% of total-time
Operation ival-div, time spent: 26.3s, 7.0% of total-time
Operation composed, time spent: 14.7s, 4.0% of total-time
Operation ival-add, time spent: 7.5s, 2.0% of total-time
Operation ival-log, time spent: 7.3s, 2.0% of total-time
Operation ival-sub, time spent: 5.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 5.3s, 1.0% of total-time
Operation const, time spent: 4.2s, 1.0% of total-time
Operation ival-exp, time spent: 2.8s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.9s, 1.0% of total-time
Operation ival-atan, time spent: 900.0ms, 0.0% of total-time
Operation ival-tan, time spent: 755.0ms, 0.0% of total-time
Operation ival-neg, time spent: 454.0ms, 0.0% of total-time
Operation ival-acos, time spent: 274.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 239.0ms, 0.0% of total-time
Operation ival-pi, time spent: 182.0ms, 0.0% of total-time
Operation ival-asin, time spent: 115.0ms, 0.0% of total-time
Operation ival-e, time spent: 23.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 5.0ms, 0.0% of total-time

eval2.5min (9.6%)

Compiler

Compiled 6473845 to 3870161 computations (40.2% saved)

preprocess2.1min (7.9%)

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
Compiler

Compiled 86502 to 53262 computations (38.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 25.3s, 30.0% of total-time
Operation ival-cos, time spent: 17.4s, 21.0% of total-time
Operation ival-mult, time spent: 14.7s, 17.0% of total-time
Operation ival-div, time spent: 11.6s, 14.0% of total-time
Operation ival-pow, time spent: 6.9s, 8.0% of total-time
Operation ival-add, time spent: 2.3s, 3.0% of total-time
Operation ival-sub, time spent: 1.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 2.0% of total-time
Operation const, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 515.0ms, 1.0% of total-time
Operation ival-tan, time spent: 314.0ms, 0.0% of total-time
Operation ival-exp, time spent: 311.0ms, 0.0% of total-time
Operation ival-atan, time spent: 214.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 152.0ms, 0.0% of total-time
Operation ival-neg, time spent: 151.0ms, 0.0% of total-time
Operation ival-pi, time spent: 99.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 82.0ms, 0.0% of total-time
Operation ival-acos, time spent: 64.0ms, 0.0% of total-time
Operation ival-asin, time spent: 30.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time

regimes1.5min (5.8%)

Counts
17689 → 882
Calls

137 calls:

8.8s
lambda1
7.2s
phi2
6.8s
phi1
6.6s
lambda2
4.6s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11100 to 8164 computations (26.5% saved)

simplify1.2min (4.7%)

Algorithm
222×egg-herbie
Rules
142126×fma-define
113626×associate-*r*
103016×*-commutative
99552×distribute-lft-in
89778×fma-neg
Stop Event
48×saturated
37×fuel
174×node limit
10×done
Counts
87245 → 72177
Results
Compiler

Compiled 16506 to 11155 computations (32.4% saved)

soundness57.7s (3.6%)

Rules
149574×fma-define
98582×associate-*r*
91574×fma-neg
74332×distribute-lft-in
68750×*-commutative
Stop Event
14×saturated
207×node limit
1×unsound
Compiler

Compiled 47517 to 28560 computations (39.9% saved)

prune52.5s (3.3%)

Counts
148639 → 6117
Compiler

Compiled 404012 to 279277 computations (30.9% saved)

analyze39.7s (2.5%)

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.3s
Operation ival-mult, time spent: 8.9s, 32.0% of total-time
Operation ival-sin, time spent: 4.8s, 17.0% of total-time
Operation ival-cos, time spent: 3.6s, 13.0% of total-time
Operation ival-pow, time spent: 3.1s, 11.0% of total-time
Operation ival-div, time spent: 3.1s, 11.0% of total-time
Operation ival-sub, time spent: 1.2s, 4.0% of total-time
Operation ival-add, time spent: 1.1s, 4.0% of total-time
Operation ival-sqrt, time spent: 682.0ms, 2.0% of total-time
Operation const, time spent: 423.0ms, 1.0% of total-time
Operation ival-<, time spent: 269.0ms, 1.0% of total-time
Operation ival-neg, time spent: 242.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 127.0ms, 0.0% of total-time
Operation ival-atan, time spent: 124.0ms, 0.0% of total-time
Operation ival-pi, time spent: 122.0ms, 0.0% of total-time
Operation ival-tan, time spent: 99.0ms, 0.0% of total-time
Operation ival-log, time spent: 88.0ms, 0.0% of total-time
Operation ival-exp, time spent: 84.0ms, 0.0% of total-time
Operation ival-asin, time spent: 45.0ms, 0.0% of total-time
Operation ival-and, time spent: 43.0ms, 0.0% of total-time
Operation ival-acos, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-<=, time spent: 4.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
175×batch-egg-rewrite
Rules
113501×log1p-expm1-u
82801×expm1-log1p-u
54104×log-prod
48788×prod-diff
44136×pow1
Stop Event
172×node limit
3×unsound
Counts
1666 → 48721

bsearch18.8s (1.2%)

Algorithm
316×binary-search
102×left-value
Stop Event
8×predicate-same
308×narrow-enough
Results
6.8s26588×256valid
4.2s5246×512valid
1.9s1713×2048valid
1.9s1642×4096valid
335.0ms1032×256infinite
640.0ms974×1024valid
147.0ms848×256invalid
168.0ms358×512infinite
2.0ms22×256unsamplable
116.0ms19×4096infinite
44.0ms14×2048infinite
18.0ms7×1024infinite
Compiler

Compiled 90064 to 67813 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
Operation ival-mult, time spent: 1.9s, 19.0% of total-time
Operation ival-cos, time spent: 1.6s, 15.0% of total-time
Operation ival-sin, time spent: 1.5s, 14.0% of total-time
Operation ival-div, time spent: 982.0ms, 9.0% of total-time
Operation ival-sub, time spent: 927.0ms, 9.0% of total-time
Operation ival-pow, time spent: 722.0ms, 7.0% of total-time
Operation ival-atan, time spent: 659.0ms, 6.0% of total-time
Operation ival-add, time spent: 489.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 472.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 302.0ms, 3.0% of total-time
Operation ival-acos, time spent: 199.0ms, 2.0% of total-time
Operation ival-pi, time spent: 196.0ms, 2.0% of total-time
Operation const, time spent: 180.0ms, 2.0% of total-time
Operation ival-log, time spent: 78.0ms, 1.0% of total-time
Operation ival-neg, time spent: 61.0ms, 1.0% of total-time
Operation ival-exp, time spent: 42.0ms, 0.0% of total-time
Operation ival-tan, time spent: 32.0ms, 0.0% of total-time
Operation ival-asin, time spent: 13.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

series16.0s (1%)

Counts
1666 → 38947
Calls

9768 calls:

TimeVariablePointExpression
338.0ms
ew
@inf
(* (neg eh) (/ (tan t) ew))
130.0ms
C
@-inf
(/ (sqrt (* -8 (* (* C A) (* F (- A (neg A)))))) (neg (+ (* C (* A -4)) (pow B 2))))
115.0ms
lambda2
@-inf
(atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
104.0ms
g
@0
(cbrt (cbrt (/ (neg g) a)))
94.0ms
a
@0
(+ (pow (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* (* angle 1/180) (PI))) (cos (* (* angle 1/180) (PI)))) (* y-scale x-scale))) 2) (* (/ (* (pow (sqrt (+ (* (* a (sin (* (* angle 1/180) (PI)))) (* a (sin (* (* angle 1/180) (PI))))) (* (* b (cos (* (* angle 1/180) (PI)))) (* b (cos (* (* angle 1/180) (PI))))))) 2) (pow (sqrt (+ (* (* a (cos (* (* angle 1/180) (PI)))) (* a (cos (* (* angle 1/180) (PI))))) (* (* b (sin (* (* angle 1/180) (PI)))) (* b (sin (* (* angle 1/180) (PI))))))) 2)) (pow (* y-scale x-scale) 2)) -4))

end39.0ms (0%)

Profiling

Loading profile data...