Herbie run

Date:Saturday, May 18th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024139
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.5min)

sample5.7min (32.8%)

Results
2.0min25923×5exit
1.2min130391×1valid
41.8s270239×0valid
22.2s8009×3valid
18.5s19233×2valid
15.5s50017×0unsamplable
9.1s1438×4valid
3.4s18975×0invalid
3.0s10825×1invalid
1.1s1837×2invalid
102.0ms924×0precondition
42.0ms60×1unsamplable
34.0ms1×4unsamplable
28.0ms28×3invalid
17.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 4.5min
ival-pow: 1.9min (43% of total)
ival-mult: 26.2s (9.7% of total)
ival-sin: 22.5s (8.3% of total)
ival-cos: 20.9s (7.7% of total)
backward-pass: 17.8s (6.6% of total)
ival-div: 16.6s (6.1% of total)
ival-add: 10.1s (3.7% of total)
ival-sub: 8.9s (3.3% of total)
ival-exp: 6.5s (2.4% of total)
ival-log: 6.2s (2.3% of total)
ival-sqrt: 4.8s (1.8% of total)
ival-neg: 4.6s (1.7% of total)
ival-<: 2.6s (1% of total)
...c/correct-round.rkt:121:19: 1.9s (0.7% of total)
const: 969.0ms (0.4% of total)
ival-atan2: 864.0ms (0.3% of total)
ival-pi: 624.0ms (0.2% of total)
ival-tan: 591.0ms (0.2% of total)
ival-and: 421.0ms (0.2% of total)
ival-acos: 404.0ms (0.1% of total)
ival-atan: 381.0ms (0.1% of total)
ival-cbrt: 299.0ms (0.1% of total)
ival-<=: 230.0ms (0.1% of total)
ival-asin: 179.0ms (0.1% of total)
ival-fabs: 166.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.7min (15.7%)

Algorithm
448×egg-herbie
Rules
172953×fma-define
128033×fma-neg
99463×distribute-lft-in
95533×times-frac
92316×*-commutative
Stop Event
115×saturated
332×node limit
1×unsound
Counts
141560 → 120536

localize1.7min (10%)

Results
27.6s2625×5exit
24.2s14114×1valid
13.2s26889×0valid
8.4s2974×2valid
5.1s609×3valid
2.3s3389×0invalid
864.0ms289×1invalid
575.0ms49×4valid
4.0ms4×0unsamplable
3.0ms2×2invalid
Compiler

Compiled 92023 to 7280 computations (92.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.0s
ival-pow: 9.1s (15.7% of total)
ival-mult: 8.8s (15.2% of total)
ival-sin: 8.2s (14.1% of total)
ival-cos: 8.0s (13.7% of total)
backward-pass: 5.0s (8.7% of total)
ival-div: 4.6s (8% of total)
ival-add: 1.9s (3.3% of total)
ival-sub: 1.4s (2.5% of total)
ival-exp: 1.3s (2.3% of total)
ival-log: 1.3s (2.3% of total)
...c/correct-round.rkt:121:19: 1.1s (2% of total)
ival-log1p: 854.0ms (1.5% of total)
ival-sqrt: 849.0ms (1.5% of total)
ival-fma: 845.0ms (1.5% of total)
ival-atan2: 799.0ms (1.4% of total)
ival-expm1: 783.0ms (1.4% of total)
ival-hypot: 693.0ms (1.2% of total)
ival-neg: 494.0ms (0.9% of total)
ival-cbrt: 409.0ms (0.7% of total)
ival-atan: 374.0ms (0.6% of total)
ival-tan: 321.0ms (0.6% of total)
ival-acos: 249.0ms (0.4% of total)
const: 207.0ms (0.4% of total)
ival-pi: 111.0ms (0.2% of total)
ival-fabs: 95.0ms (0.2% of total)
ival-asin: 70.0ms (0.1% of total)

soundness1.7min (9.8%)

Rules
83373×fma-define
61559×log1p-expm1-u
49227×times-frac
48955×fma-neg
47832×*-commutative
Stop Event
14×saturated
245×node limit
44×fuel
3×unsound
7×done
Compiler

Compiled 68468 to 19621 computations (71.3% saved)

regimes1.1min (6.3%)

Counts
25136 → 878
Calls

143 calls:

4.9s
phi2
4.2s
phi1
4.2s
lambda1
3.8s
lambda2
3.8s
(-.f64 lambda1 lambda2)
Compiler

Compiled 13670 to 8804 computations (35.6% saved)

prune54.6s (5.2%)

Counts
195578 → 8225
Compiler

Compiled 577381 to 281927 computations (51.2% saved)

rewrite53.4s (5.1%)

Algorithm
198×batch-egg-rewrite
Rules
119103×log1p-expm1-u
88228×expm1-log1p-u
52538×pow1
50151×add-exp-log
47656×add-log-exp
Stop Event
195×node limit
3×unsound
Counts
2887 → 76413

eval42.2s (4%)

Compiler

Compiled 9536261 to 876164 computations (90.8% saved)

series38.8s (3.7%)

Counts
2887 → 65147
Calls

16803 calls:

TimeVariablePointExpression
390.0ms
B
@inf
(/ (* A -2) B)
354.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)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)))))))
353.0ms
angle
@0
(/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2))
308.0ms
b
@inf
(log (* (* 1/4 (* x-scale (sqrt 8))) (sqrt (+ (* (pow b 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* -1/2 (* (pow x-scale 2) (/ (* (* (pow b 4) (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow x-scale 2))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))))))))
298.0ms
s
@inf
(pow (+ 1 (/ 1 (+ 1 (exp s)))) c_n)

analyze24.8s (2.4%)

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.9s
ival-mult: 4.5s (28.1% of total)
ival-pow: 2.4s (15.3% of total)
ival-cos: 1.9s (11.7% of total)
ival-div: 1.3s (8.5% of total)
ival-sin: 1.3s (8.4% of total)
ival-sub: 1.1s (7.1% of total)
ival-add: 854.0ms (5.4% of total)
ival-neg: 540.0ms (3.4% of total)
ival-sqrt: 474.0ms (3% of total)
ival-<: 323.0ms (2% of total)
...c/correct-round.rkt:121:19: 285.0ms (1.8% of total)
ival-atan2: 173.0ms (1.1% of total)
ival-pi: 103.0ms (0.6% of total)
ival-exp: 101.0ms (0.6% of total)
const: 93.0ms (0.6% of total)
ival-atan: 66.0ms (0.4% of total)
ival-tan: 53.0ms (0.3% of total)
ival-and: 52.0ms (0.3% of total)
ival-log: 51.0ms (0.3% of total)
ival-fabs: 38.0ms (0.2% of total)
ival-acos: 35.0ms (0.2% of total)
ival-asin: 34.0ms (0.2% of total)
backward-pass: 24.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)

bsearch20.2s (1.9%)

Algorithm
323×binary-search
59×left-value
Stop Event
12×predicate-same
311×narrow-enough
Results
8.4s8960×1valid
5.8s26918×0valid
1.3s1560×2valid
843.0ms667×3valid
130.0ms1060×0invalid
31.0ms7×4valid
Compiler

Compiled 88197 to 61646 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
ival-cos: 3.2s (22.9% of total)
ival-sin: 2.9s (21.2% of total)
ival-mult: 2.0s (14.2% of total)
ival-pow: 1.3s (9.1% of total)
ival-div: 819.0ms (5.9% of total)
ival-sub: 759.0ms (5.5% of total)
backward-pass: 745.0ms (5.4% of total)
ival-neg: 561.0ms (4.1% of total)
ival-add: 389.0ms (2.8% of total)
ival-sqrt: 294.0ms (2.1% of total)
ival-tan: 209.0ms (1.5% of total)
ival-atan: 163.0ms (1.2% of total)
ival-acos: 150.0ms (1.1% of total)
ival-atan2: 95.0ms (0.7% of total)
ival-log: 82.0ms (0.6% of total)
ival-exp: 74.0ms (0.5% of total)
ival-pi: 71.0ms (0.5% of total)
const: 62.0ms (0.4% of total)
ival-fabs: 40.0ms (0.3% of total)
ival-asin: 5.0ms (0% of total)

explain17.5s (1.7%)

Results
5.3s8450×1valid
2.7s15660×0valid
2.4s1856×2valid
1.5s562×3valid
485.0ms96×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
ival-sin: 1.6s (18.5% of total)
ival-cos: 1.4s (15.7% of total)
ival-mult: 1.3s (15.4% of total)
ival-pow: 810.0ms (9.2% of total)
backward-pass: 645.0ms (7.4% of total)
ival-div: 639.0ms (7.3% of total)
ival-add: 539.0ms (6.1% of total)
ival-exp: 424.0ms (4.8% of total)
ival-sub: 386.0ms (4.4% of total)
ival-sqrt: 288.0ms (3.3% of total)
ival-log: 213.0ms (2.4% of total)
ival-neg: 126.0ms (1.4% of total)
ival-tan: 59.0ms (0.7% of total)
const: 54.0ms (0.6% of total)
ival-cbrt: 52.0ms (0.6% of total)
ival-atan2: 51.0ms (0.6% of total)
ival-pi: 41.0ms (0.5% of total)
ival-atan: 32.0ms (0.4% of total)
ival-fabs: 27.0ms (0.3% of total)
ival-acos: 23.0ms (0.3% of total)
ival-asin: 15.0ms (0.2% of total)

preprocess15.6s (1.5%)

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 58786 to 22060 computations (62.5% saved)

end3.0ms (0%)

Profiling

Loading profile data...