Herbie run

Date:Thursday, May 2nd, 2024
Commit:e0a5b8b3 on artem-safe-sampling
Hostname:nightly with Racket 8.11.1
Seed:2024123
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: 17.9min)

sample5.9min (33.1%)

Results
2.0min25918×5exit
1.3min129538×1valid
45.3s270800×0valid
24.4s8213×3valid
19.3s19389×2valid
13.9s50496×0unsamplable
8.5s1371×4valid
4.3s18781×0invalid
3.2s10819×1invalid
1.0s1800×2invalid
104.0ms1×5valid
88.0ms861×0precondition
66.0ms1×4unsamplable
49.0ms64×1unsamplable
17.0ms26×3invalid
3.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.7min
ival-pow: 2.0min (41.8% of total)
ival-mult: 27.7s (9.9% of total)
ival-sin: 26.3s (9.4% of total)
ival-cos: 23.3s (8.3% of total)
ival-div: 18.3s (6.5% of total)
backward-pass: 10.8s (3.8% of total)
ival-add: 10.2s (3.6% of total)
ival-sub: 9.8s (3.5% of total)
ival-log: 7.4s (2.6% of total)
ival-exp: 6.9s (2.5% of total)
ival-neg: 6.1s (2.2% of total)
ival-sqrt: 5.5s (2% of total)
...c/correct-round.rkt:125:19: 2.5s (0.9% of total)
ival-<: 2.4s (0.8% of total)
ival-pi: 1.2s (0.4% of total)
const: 1.0s (0.4% of total)
ival-tan: 895.0ms (0.3% of total)
ival-atan2: 837.0ms (0.3% of total)
ival-atan: 653.0ms (0.2% of total)
ival-and: 425.0ms (0.2% of total)
ival-acos: 375.0ms (0.1% of total)
ival-cbrt: 335.0ms (0.1% of total)
ival-<=: 229.0ms (0.1% of total)
ival-fabs: 210.0ms (0.1% of total)
ival-asin: 141.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.3min (12.9%)

Algorithm
253×egg-herbie
Rules
72526×fma-define
65807×*-commutative
60198×times-frac
58814×distribute-lft-in
51644×distribute-rgt-in
Stop Event
51×saturated
201×node limit
1×unsound
Counts
148165 → 122391

localize2.2min (12.1%)

Algorithm
203×egg-herbie
Rules
106413×fma-define
81074×fma-neg
46812×unsub-neg
42500×distribute-lft-in
38722×distribute-rgt-in
Stop Event
70×saturated
133×node limit
Results
25.7s14175×1valid
24.6s2345×5exit
12.9s26659×0valid
9.7s3125×2valid
3.5s4576×0invalid
3.2s514×3valid
1.2s475×1invalid
959.0ms51×4valid
99.0ms39×2invalid
29.0ms5×3invalid
2.0ms4×0unsamplable
Compiler

Compiled 94759 to 7753 computations (91.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.4s
ival-mult: 9.9s (17.6% of total)
ival-sin: 8.4s (14.9% of total)
ival-pow: 7.8s (13.9% of total)
ival-cos: 6.2s (11% of total)
backward-pass: 5.4s (9.5% of total)
ival-div: 4.2s (7.5% of total)
ival-add: 2.0s (3.5% of total)
ival-log: 1.7s (3.1% of total)
...c/correct-round.rkt:125:19: 1.5s (2.6% of total)
ival-sub: 1.4s (2.5% of total)
ival-exp: 1.2s (2.2% of total)
ival-sqrt: 1.1s (1.9% of total)
ival-fma: 745.0ms (1.3% of total)
ival-log1p: 727.0ms (1.3% of total)
ival-expm1: 631.0ms (1.1% of total)
ival-cbrt: 618.0ms (1.1% of total)
ival-atan2: 605.0ms (1.1% of total)
ival-hypot: 532.0ms (0.9% of total)
ival-neg: 402.0ms (0.7% of total)
ival-tan: 350.0ms (0.6% of total)
const: 221.0ms (0.4% of total)
ival-atan: 195.0ms (0.3% of total)
ival-acos: 152.0ms (0.3% of total)
ival-pi: 148.0ms (0.3% of total)
ival-fabs: 102.0ms (0.2% of total)
ival-asin: 34.0ms (0.1% of total)

soundness1.8min (10.2%)

Rules
83937×fma-define
71633×log1p-expm1-u
53364×expm1-log1p-u
51337×*-commutative
50887×fma-neg
Stop Event
14×saturated
265×node limit
46×fuel
3×unsound
5×done
Compiler

Compiled 73664 to 21190 computations (71.2% saved)

regimes1.1min (5.9%)

Counts
26479 → 958
Calls

155 calls:

5.3s
phi1
4.4s
lambda1
4.0s
phi2
3.6s
lambda2
2.9s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14288 to 9303 computations (34.9% saved)

prune54.9s (5.1%)

Counts
199592 → 8289
Compiler

Compiled 554897 to 278108 computations (49.9% saved)

rewrite54.2s (5%)

Algorithm
202×batch-egg-rewrite
Rules
128197×log1p-expm1-u
90564×expm1-log1p-u
55984×pow1
52699×add-exp-log
48881×add-log-exp
Stop Event
199×node limit
3×unsound
Counts
3061 → 78936

eval43.3s (4%)

Compiler

Compiled 9245760 to 889211 computations (90.4% saved)

series39.7s (3.7%)

Counts
3061 → 69229
Calls

17487 calls:

TimeVariablePointExpression
567.0ms
c_p
@0
(- (* -1 (* c_p (log (+ 1 (exp (neg s)))))) (* -1 (* c_p (log 2))))
427.0ms
angle
@-inf
(log (+ 1 (* (* b y-scale) (* (* (cos (* 1/180 (* angle (PI)))) 4) -1/4))))
426.0ms
angle
@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))))
343.0ms
a
@inf
(log (atan (* -1/2 (* (* (/ 2 (* x-scale (cos (* angle (* (PI) 1/180))))) (/ (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (* (- (pow b 2) (pow a 2)) (sin (* angle (* (PI) 1/180)))))) y-scale))))
300.0ms
x
@0
(* 1/6 x)

bsearch25.5s (2.4%)

Algorithm
333×binary-search
77×left-value
Stop Event
12×predicate-same
321×narrow-enough
Results
9.8s11951×1valid
6.1s28650×0valid
2.8s1050×3valid
1.9s1880×2valid
163.0ms1252×0invalid
68.0ms15×4valid
3.0ms2×5exit
Compiler

Compiled 116348 to 80277 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.4s
ival-sin: 4.2s (24.3% of total)
ival-cos: 3.6s (20.9% of total)
ival-mult: 3.1s (17.6% of total)
ival-pow: 1.5s (8.6% of total)
ival-div: 1.3s (7.4% of total)
ival-sub: 818.0ms (4.7% of total)
backward-pass: 650.0ms (3.7% of total)
ival-add: 538.0ms (3.1% of total)
ival-sqrt: 321.0ms (1.8% of total)
ival-atan2: 251.0ms (1.4% of total)
ival-atan: 223.0ms (1.3% of total)
ival-tan: 203.0ms (1.2% of total)
ival-exp: 162.0ms (0.9% of total)
ival-log: 135.0ms (0.8% of total)
ival-neg: 105.0ms (0.6% of total)
ival-acos: 76.0ms (0.4% of total)
const: 75.0ms (0.4% of total)
ival-pi: 61.0ms (0.4% of total)
ival-asin: 32.0ms (0.2% of total)
ival-fabs: 29.0ms (0.2% of total)

analyze25.1s (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: 16.4s
ival-mult: 4.9s (29.9% of total)
ival-pow: 2.6s (15.9% of total)
ival-cos: 1.9s (11.4% of total)
ival-sin: 1.5s (9.3% of total)
ival-div: 1.3s (8.1% of total)
ival-add: 879.0ms (5.4% of total)
ival-sub: 813.0ms (5% of total)
ival-sqrt: 598.0ms (3.6% of total)
ival-neg: 321.0ms (2% of total)
ival-<: 310.0ms (1.9% of total)
...c/correct-round.rkt:125:19: 282.0ms (1.7% of total)
ival-atan2: 155.0ms (0.9% of total)
ival-asin: 128.0ms (0.8% of total)
ival-exp: 100.0ms (0.6% of total)
const: 95.0ms (0.6% of total)
ival-tan: 86.0ms (0.5% of total)
ival-atan: 81.0ms (0.5% of total)
ival-pi: 70.0ms (0.4% of total)
ival-and: 52.0ms (0.3% of total)
ival-log: 49.0ms (0.3% of total)
ival-fabs: 36.0ms (0.2% of total)
ival-acos: 36.0ms (0.2% of total)
backward-pass: 33.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-<=: 4.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

explain20.1s (1.9%)

Results
5.9s8236×1valid
3.1s1872×2valid
2.6s15802×0valid
1.9s624×3valid
734.0ms90×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
ival-sin: 2.3s (23% of total)
ival-cos: 1.7s (17.2% of total)
ival-mult: 1.5s (15.6% of total)
ival-pow: 935.0ms (9.5% of total)
backward-pass: 786.0ms (8% of total)
ival-div: 615.0ms (6.2% of total)
ival-add: 393.0ms (4% of total)
ival-sub: 358.0ms (3.6% of total)
ival-log: 252.0ms (2.5% of total)
ival-sqrt: 242.0ms (2.4% of total)
ival-exp: 242.0ms (2.4% of total)
ival-tan: 170.0ms (1.7% of total)
ival-neg: 121.0ms (1.2% of total)
const: 56.0ms (0.6% of total)
ival-atan: 47.0ms (0.5% of total)
ival-atan2: 42.0ms (0.4% of total)
ival-pi: 37.0ms (0.4% of total)
ival-cbrt: 27.0ms (0.3% of total)
ival-acos: 22.0ms (0.2% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess15.1s (1.4%)

Algorithm
52×egg-herbie
Rules
32328×fma-define
19274×fma-neg
13234×div-sub
11584×unsub-neg
11427×sub-neg
Stop Event
22×saturated
30×node limit
Compiler

Compiled 63726 to 23688 computations (62.8% saved)

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
ival-pow: 1.0ms (194.6% of total)

Profiling

Loading profile data...