Herbie run

Date:Monday, June 3rd, 2024
Commit:e0929cca on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024155
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 17.2min)

sample5.6min (32.2%)

Results
2.0min26091×5exit
1.1min129724×1valid
42.8s270762×0valid
23.6s8222×3valid
17.0s19225×2valid
12.8s50192×0unsamplable
7.8s1374×4valid
3.4s19362×0invalid
2.6s10987×1invalid
1.1s1739×2invalid
246.0ms5×5valid
143.0ms965×0precondition
50.0ms69×1unsamplable
13.0ms21×3invalid
12.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 2.0min (44.7% of total)
ival-mult: 26.0s (9.9% of total)
ival-sin: 22.3s (8.5% of total)
ival-cos: 21.4s (8.2% of total)
ival-div: 16.9s (6.4% of total)
backward-pass: 9.9s (3.8% of total)
ival-sub: 9.0s (3.4% of total)
ival-add: 8.6s (3.3% of total)
ival-exp: 6.1s (2.3% of total)
ival-log: 5.6s (2.1% of total)
ival-sqrt: 4.7s (1.8% of total)
ival-neg: 3.8s (1.5% of total)
ival-<: 2.5s (1% of total)
...c/correct-round.rkt:119:19: 1.8s (0.7% of total)
const: 1.1s (0.4% of total)
ival-pi: 1.0s (0.4% of total)
ival-tan: 941.0ms (0.4% of total)
ival-atan2: 862.0ms (0.3% of total)
ival-acos: 578.0ms (0.2% of total)
ival-atan: 461.0ms (0.2% of total)
ival-and: 422.0ms (0.2% of total)
ival-cbrt: 322.0ms (0.1% of total)
ival-<=: 249.0ms (0.1% of total)
ival-fabs: 208.0ms (0.1% of total)
ival-asin: 170.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

soundness2.2min (12.8%)

Rules
1336730×*-lowering-*.f32
1336730×*-lowering-*.f64
629704×+-lowering-+.f32
629704×+-lowering-+.f64
561412×/-lowering-/.f32
Stop Event
11×saturated
316×iter limit
46×fuel
304×node limit
5×done
Compiler

Compiled 53350 to 28865 computations (45.9% saved)

simplify2.1min (12.1%)

Algorithm
453×egg-herbie
Rules
1463398×*-lowering-*.f32
1463398×*-lowering-*.f64
743724×+-lowering-+.f32
743724×+-lowering-+.f64
439112×fma-lowering-fma.f64
Stop Event
402×iter limit
103×saturated
350×node limit
Counts
90792 → 90792

localize1.5min (8.8%)

Results
23.9s3499×5exit
23.9s13573×1valid
12.6s28394×0valid
5.5s2226×2valid
2.7s3179×0invalid
1.1s309×3valid
450.0ms207×1invalid
26.0ms7×4valid
22.0ms62×0unsamplable
Compiler

Compiled 104425 to 7950 computations (92.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.5s
ival-mult: 10.7s (22% of total)
ival-sin: 6.9s (14.3% of total)
ival-cos: 6.9s (14.3% of total)
ival-div: 5.6s (11.6% of total)
backward-pass: 4.8s (9.9% of total)
ival-pow: 3.1s (6.4% of total)
ival-add: 2.2s (4.6% of total)
ival-sub: 1.5s (3.1% of total)
...c/correct-round.rkt:119:19: 1.3s (2.6% of total)
compiled-spec: 1.2s (2.5% of total)
ival-sqrt: 1.0s (2.1% of total)
ival-log: 874.0ms (1.8% of total)
ival-atan2: 458.0ms (0.9% of total)
ival-exp: 333.0ms (0.7% of total)
ival-tan: 255.0ms (0.5% of total)
ival-cbrt: 241.0ms (0.5% of total)
const: 240.0ms (0.5% of total)
ival-atan: 231.0ms (0.5% of total)
ival-pi: 156.0ms (0.3% of total)
ival-acos: 152.0ms (0.3% of total)
ival-neg: 114.0ms (0.2% of total)
ival-fabs: 75.0ms (0.2% of total)
ival-tanh: 33.0ms (0.1% of total)
ival-asin: 14.0ms (0% of total)
ival-remainder: 11.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)

rewrite1.3min (7.7%)

Algorithm
201×batch-egg-rewrite
Rules
755334×*-lowering-*.f32
755334×*-lowering-*.f64
526496×/-lowering-/.f32
526496×/-lowering-/.f64
275466×+-lowering-+.f32
Stop Event
1×saturated
203×iter limit
200×node limit
Counts
3531 → 131976

regimes57.3s (5.5%)

Counts
29826 → 1077
Calls

155 calls:

3.7s
phi2
3.6s
phi1
3.5s
b
3.3s
lambda2
3.2s
lambda1
Compiler

Compiled 13256 to 8755 computations (34% saved)

eval52.0s (5%)

Compiler

Compiled 13268483 to 734388 computations (94.5% saved)

prune50.7s (4.9%)

Counts
286687 → 8646
Compiler

Compiled 736090 to 317184 computations (56.9% saved)

bsearch34.7s (3.4%)

Algorithm
445×binary-search
37×left-value
Stop Event
11×predicate-same
434×narrow-enough
Results
10.6s15490×1valid
7.2s550×5exit
7.0s35533×0valid
2.0s1165×3valid
2.0s2571×2valid
362.0ms2401×0invalid
70.0ms16×4valid
4.0ms11×1invalid
1.0ms30×0unsamplable
Compiler

Compiled 140600 to 97382 computations (30.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.1s
ival-pow: 8.3s (33% of total)
ival-sin: 3.4s (13.6% of total)
ival-cos: 3.4s (13.5% of total)
ival-mult: 3.3s (13.1% of total)
ival-div: 1.4s (5.4% of total)
ival-sub: 1.2s (4.9% of total)
ival-add: 923.0ms (3.7% of total)
backward-pass: 834.0ms (3.3% of total)
ival-sqrt: 710.0ms (2.8% of total)
ival-atan: 309.0ms (1.2% of total)
ival-neg: 277.0ms (1.1% of total)
ival-exp: 227.0ms (0.9% of total)
ival-acos: 171.0ms (0.7% of total)
ival-atan2: 163.0ms (0.6% of total)
ival-pi: 155.0ms (0.6% of total)
ival-log: 149.0ms (0.6% of total)
const: 117.0ms (0.5% of total)
ival-tan: 67.0ms (0.3% of total)
ival-cbrt: 19.0ms (0.1% of total)
ival-fabs: 18.0ms (0.1% of total)
ival-asin: 7.0ms (0% of total)

analyze23.8s (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 947 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.3s
ival-mult: 4.3s (28.3% of total)
ival-pow: 2.2s (14.1% of total)
ival-cos: 1.6s (10.1% of total)
ival-sin: 1.3s (8.6% of total)
ival-div: 1.2s (7.7% of total)
ival-sub: 968.0ms (6.3% of total)
ival-add: 870.0ms (5.7% of total)
ival-<: 676.0ms (4.4% of total)
ival-sqrt: 558.0ms (3.6% of total)
ival-neg: 436.0ms (2.8% of total)
...c/correct-round.rkt:119:19: 369.0ms (2.4% of total)
ival-atan2: 187.0ms (1.2% of total)
const: 99.0ms (0.6% of total)
ival-atan: 87.0ms (0.6% of total)
ival-pi: 85.0ms (0.6% of total)
ival-exp: 74.0ms (0.5% of total)
ival-acos: 60.0ms (0.4% of total)
ival-log: 55.0ms (0.4% of total)
ival-tan: 54.0ms (0.4% of total)
ival-and: 53.0ms (0.3% of total)
ival-fabs: 50.0ms (0.3% of total)
ival-asin: 36.0ms (0.2% of total)
backward-pass: 33.0ms (0.2% of total)
ival-cbrt: 17.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

series20.3s (2%)

Counts
3531 → 90792
Calls

18540 calls:

TimeVariablePointExpression
438.0ms
phi2
@-inf
(* (atan2 (sqrt (+ (* (cos phi1) (pow (sin (* 1/2 (- lambda1 lambda2))) 2)) (- (pow (sin (* phi1 1/2)) 2) (* phi2 (* (sin (* phi1 1/2)) (cos (* phi1 1/2))))))) (sqrt (+ (- 1 (pow (sin (/ (- phi1 phi2) 2)) 2)) (* (* (cos phi1) (cos phi2)) (* (+ (* (* 2 (sin (* 1/2 lambda1))) 1/2) (* (cos (/ lambda1 2)) (- 0 (sin (/ lambda2 2))))) (sin (/ (- lambda1 lambda2) -2))))))) (* R 2))
319.0ms
b
@0
(* (* 1/4 (* (* b x-scale) (* y-scale (sqrt 8)))) (sqrt (+ (sqrt (+ (/ (* 4 (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* (* x-scale x-scale) (* y-scale y-scale))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))))
279.0ms
a
@-inf
(* (* a a) b)
134.0ms
s
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) 1))
118.0ms
t
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))

explain19.0s (1.8%)

Results
5.0s8292×1valid
3.0s15818×0valid
2.6s1818×2valid
2.2s600×3valid
578.0ms96×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-sin: 2.0s (20.9% of total)
ival-cos: 1.5s (16% of total)
ival-mult: 1.4s (15% of total)
ival-pow: 854.0ms (9.1% of total)
ival-div: 786.0ms (8.4% of total)
backward-pass: 676.0ms (7.2% of total)
ival-sub: 453.0ms (4.8% of total)
ival-add: 425.0ms (4.5% of total)
ival-log: 240.0ms (2.6% of total)
ival-sqrt: 227.0ms (2.4% of total)
ival-exp: 223.0ms (2.4% of total)
ival-tan: 173.0ms (1.8% of total)
ival-atan: 120.0ms (1.3% of total)
ival-neg: 118.0ms (1.3% of total)
const: 60.0ms (0.6% of total)
ival-pi: 40.0ms (0.4% of total)
ival-atan2: 40.0ms (0.4% of total)
ival-fabs: 32.0ms (0.3% of total)
ival-acos: 22.0ms (0.2% of total)
ival-cbrt: 20.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess14.4s (1.4%)

Algorithm
104×egg-herbie
Rules
96972×fnmadd-define
86210×fma-define
80658×sum3-define
69822×fmsub-define
62900×*-lowering-*.f32
Stop Event
43×saturated
52×iter limit
61×node limit
Compiler

Compiled 58348 to 20258 computations (65.3% saved)

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 412.0ms
ival-add: 412.0ms (99.9% of total)

Profiling

Loading profile data...