Herbie run

Date:Monday, March 25th, 2024
Commit:5a8b346c on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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.1min)

sample7.7min (29.4%)

Results
1.1min298328×256valid
37.8s46068×512valid
4.8s27943×256invalid
5.8s27653×256infinite
6.7s26038×256unsamplable
18.1s25300×1024valid
2.6min16356×8192exit
28.5s11081×2048valid
52.0s7331×4096valid
5.2s5821×512infinite
1.4s1663×1024invalid
1.2s1167×2048invalid
20.2s1156×8192valid
558.0ms1132×512invalid
84.0ms887×256precondition
2.7s661×2048infinite
1.6s523×1024infinite
3.2s371×4096infinite
6.0ms7×512unsamplable
3.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.0min
Operation ival-pow, time spent: 2.5min, 42.0% of total-time
Operation ival-sin, time spent: 43.5s, 12.0% of total-time
Operation ival-mult, time spent: 41.7s, 12.0% of total-time
Operation ival-cos, time spent: 32.8s, 9.0% of total-time
Operation ival-div, time spent: 30.8s, 9.0% of total-time
Operation ival-exp, time spent: 11.2s, 3.0% of total-time
Operation ival-log, time spent: 9.7s, 3.0% of total-time
Operation ival-add, time spent: 9.7s, 3.0% of total-time
Operation ival-sub, time spent: 7.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.3s, 1.0% of total-time
Operation const, time spent: 3.4s, 1.0% of total-time
Operation ival-neg, time spent: 3.1s, 1.0% of total-time
Operation ival-<, time spent: 2.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 989.0ms, 0.0% of total-time
Operation ival-pi, time spent: 894.0ms, 0.0% of total-time
Operation ival-acos, time spent: 768.0ms, 0.0% of total-time
Operation ival-tan, time spent: 683.0ms, 0.0% of total-time
Operation ival-and, time spent: 482.0ms, 0.0% of total-time
Operation ival-asin, time spent: 277.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 254.0ms, 0.0% of total-time
Operation ival-<=, time spent: 217.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 195.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.6min (29%)

Results
50.3s27841×256valid
45.5s3992×512valid
9.2s3802×256invalid
18.2s2839×1024valid
5.5s2552×256infinite
3.1min2511×8192exit
33.0s2453×2048valid
27.0s481×4096valid
3.2s344×512infinite
1.1s151×512invalid
3.7s143×2048infinite
75.0ms102×256unsamplable
1.7s97×1024infinite
2.2s37×4096infinite
7.6s24×8192valid
35.0ms7×1024invalid
10.0ms1×2048invalid
Compiler

Compiled 85439 to 47718 computations (44.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.3min
Operation ival-sin, time spent: 1.3min, 21.0% of total-time
Operation ival-mult, time spent: 1.1min, 17.0% of total-time
Operation ival-pow, time spent: 1.0min, 16.0% of total-time
Operation ival-cos, time spent: 54.9s, 14.0% of total-time
Operation composed, time spent: 27.8s, 7.0% of total-time
Operation ival-div, time spent: 27.4s, 7.0% of total-time
Operation ival-log, time spent: 14.2s, 4.0% of total-time
Operation ival-exp, time spent: 12.8s, 3.0% of total-time
Operation ival-add, time spent: 10.2s, 3.0% of total-time
Operation ival-sub, time spent: 7.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.1s, 2.0% of total-time
Operation const, time spent: 4.7s, 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: 1.4s, 0.0% of total-time
Operation ival-tan, time spent: 745.0ms, 0.0% of total-time
Operation ival-neg, time spent: 655.0ms, 0.0% of total-time
Operation ival-acos, time spent: 277.0ms, 0.0% of total-time
Operation ival-pi, time spent: 221.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 121.0ms, 0.0% of total-time
Operation ival-asin, time spent: 80.0ms, 0.0% of total-time

eval2.8min (10.9%)

Compiler

Compiled 6721844 to 4018040 computations (40.2% saved)

preprocess2.1min (8%)

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.1s17074×256valid
11.6s3230×512valid
5.5s1744×1024valid
1.8s1600×256infinite
13.4s1166×2048valid
31.3s590×4096valid
2.2s450×512infinite
1.2s120×2048infinite
13.4s82×8192valid
391.0ms30×1024infinite
951.0ms26×4096infinite
Compiler

Compiled 78534 to 47604 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 21.5s, 26.0% of total-time
Operation ival-cos, time spent: 17.2s, 21.0% of total-time
Operation ival-mult, time spent: 14.4s, 18.0% of total-time
Operation ival-div, time spent: 12.1s, 15.0% of total-time
Operation ival-pow, time spent: 9.5s, 12.0% of total-time
Operation ival-add, time spent: 2.1s, 3.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 990.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 845.0ms, 1.0% of total-time
Operation ival-log, time spent: 561.0ms, 1.0% of total-time
Operation ival-tan, time spent: 285.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 236.0ms, 0.0% of total-time
Operation ival-atan, time spent: 216.0ms, 0.0% of total-time
Operation ival-exp, time spent: 212.0ms, 0.0% of total-time
Operation ival-neg, time spent: 151.0ms, 0.0% of total-time
Operation ival-pi, time spent: 87.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-fabs, time spent: 35.0ms, 0.0% of total-time
Operation ival-asin, time spent: 34.0ms, 0.0% of total-time

simplify1.2min (4.5%)

Algorithm
227×egg-herbie
Rules
73582×fma-define
57707×distribute-lft-in
53881×*-commutative
52843×associate-*r*
48586×distribute-rgt-in
Stop Event
50×saturated
176×node limit
1×unsound
Counts
84894 → 74281

soundness1.0min (3.9%)

Rules
80672×fma-define
58533×log1p-expm1-u
49145×associate-*r*
46260×fma-neg
46185×expm1-log1p-u
Stop Event
14×saturated
40×fuel
221×node limit
2×unsound
9×done
Compiler

Compiled 62614 to 36704 computations (41.4% saved)

regimes55.6s (3.6%)

Counts
18303 → 899
Calls

138 calls:

4.9s
phi1
4.8s
lambda2
4.5s
lambda1
4.3s
phi2
2.7s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11784 to 8719 computations (26% saved)

prune54.9s (3.5%)

Counts
162643 → 6833
Compiler

Compiled 457463 to 320254 computations (30% saved)

rewrite37.4s (2.4%)

Algorithm
178×batch-egg-rewrite
Rules
116316×log1p-expm1-u
86364×expm1-log1p-u
44823×pow1
41795×add-exp-log
39915×add-log-exp
Stop Event
174×node limit
4×unsound
Counts
1636 → 46774

analyze36.0s (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: 24.9s
Operation ival-mult, time spent: 7.2s, 29.0% of total-time
Operation ival-pow, time spent: 3.9s, 16.0% of total-time
Operation ival-div, time spent: 3.5s, 14.0% of total-time
Operation ival-sin, time spent: 3.0s, 12.0% of total-time
Operation ival-cos, time spent: 2.7s, 11.0% of total-time
Operation ival-add, time spent: 1.1s, 4.0% of total-time
Operation ival-sub, time spent: 1.1s, 4.0% of total-time
Operation ival-sqrt, time spent: 638.0ms, 3.0% of total-time
Operation const, time spent: 422.0ms, 2.0% of total-time
Operation ival-<, time spent: 334.0ms, 1.0% of total-time
Operation ival-neg, time spent: 333.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 143.0ms, 1.0% of total-time
Operation ival-pi, time spent: 101.0ms, 0.0% of total-time
Operation ival-exp, time spent: 81.0ms, 0.0% of total-time
Operation ival-tan, time spent: 78.0ms, 0.0% of total-time
Operation ival-log, time spent: 66.0ms, 0.0% of total-time
Operation ival-and, time spent: 63.0ms, 0.0% of total-time
Operation ival-atan, time spent: 58.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-fabs, time spent: 35.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-<=, time spent: 6.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

bsearch24.8s (1.6%)

Algorithm
349×binary-search
64×left-value
Stop Event
18×predicate-same
331×narrow-enough
Results
8.4s29945×256valid
6.7s7195×512valid
1.3s1548×2048valid
674.0ms1276×256infinite
777.0ms1157×1024valid
1.2s1137×4096valid
287.0ms1069×256invalid
1.0s590×512infinite
7.0ms35×256unsamplable
1.0ms2×512invalid
Compiler

Compiled 118047 to 88954 computations (24.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.8s
Operation ival-mult, time spent: 3.1s, 21.0% of total-time
Operation ival-sin, time spent: 2.3s, 15.0% of total-time
Operation ival-cos, time spent: 2.0s, 14.0% of total-time
Operation ival-div, time spent: 1.8s, 12.0% of total-time
Operation ival-pow, time spent: 1.4s, 9.0% of total-time
Operation ival-sub, time spent: 1.1s, 7.0% of total-time
Operation ival-add, time spent: 831.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 559.0ms, 4.0% of total-time
Operation ival-atan, time spent: 442.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 402.0ms, 3.0% of total-time
Operation const, time spent: 230.0ms, 2.0% of total-time
Operation ival-acos, time spent: 177.0ms, 1.0% of total-time
Operation ival-exp, time spent: 122.0ms, 1.0% of total-time
Operation ival-neg, time spent: 119.0ms, 1.0% of total-time
Operation ival-pi, time spent: 119.0ms, 1.0% of total-time
Operation ival-log, time spent: 86.0ms, 1.0% of total-time
Operation ival-asin, time spent: 44.0ms, 0.0% of total-time
Operation ival-tan, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

series16.9s (1.1%)

Counts
1636 → 38120
Calls

9444 calls:

TimeVariablePointExpression
649.0ms
a
@inf
(log (* (sin (* angle (* (PI) 1/180))) a))
351.0ms
F
@0
(* (* -16 A) (* (pow C 2) F))
264.0ms
x-scale
@0
(cbrt (* x-scale y-scale))
164.0ms
a
@0
(* c (* a (- (* -3/8 (/ c (pow b 3))) (/ 1/2 (* a b)))))
142.0ms
x-scale
@inf
(/ (sqrt (* (* b (* (pow a 2) (neg b))) (* (* 8 (* (* a (pow b 2)) (/ (neg a) (pow (* x-scale y-scale) 2)))) (+ (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (+ (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 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 (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))) (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))))))))))) (* (* a (pow b 2)) (/ (neg a) (pow (* x-scale y-scale) 2))))

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
Operation ival-div, time spent: 2.4s, 52.0% of total-time
Operation ival-and, time spent: 2.2s, 48.0% of total-time

Profiling

Loading profile data...