Herbie run

Date:Thursday, May 9th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024130
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: 18.3min)

sample6.1min (33.1%)

Results
2.1min25731×5exit
1.3min129704×1valid
43.2s270928×0valid
26.1s8187×3valid
20.8s19134×2valid
13.5s50088×0unsamplable
8.7s1352×4valid
3.9s19120×0invalid
2.9s11158×1invalid
1.2s1703×2invalid
157.0ms7×5valid
106.0ms909×0precondition
53.0ms69×1unsamplable
17.0ms2×3unsamplable
10.0ms15×3invalid
2.0ms1×4unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.8min
ival-pow: 2.1min (43.9% of total)
ival-mult: 29.2s (10.1% of total)
ival-sin: 26.4s (9.2% of total)
ival-cos: 22.1s (7.7% of total)
ival-div: 18.3s (6.4% of total)
ival-add: 10.9s (3.8% of total)
backward-pass: 10.4s (3.6% of total)
ival-sub: 9.1s (3.1% of total)
ival-exp: 8.1s (2.8% of total)
ival-log: 6.7s (2.3% of total)
ival-neg: 5.0s (1.7% of total)
ival-sqrt: 4.7s (1.6% of total)
ival-<: 3.0s (1% of total)
...c/correct-round.rkt:119:19: 1.7s (0.6% of total)
const: 1.1s (0.4% of total)
ival-pi: 987.0ms (0.3% of total)
ival-atan2: 950.0ms (0.3% of total)
ival-atan: 715.0ms (0.2% of total)
ival-acos: 598.0ms (0.2% of total)
ival-tan: 569.0ms (0.2% of total)
ival-and: 434.0ms (0.2% of total)
ival-cbrt: 325.0ms (0.1% of total)
ival-<=: 260.0ms (0.1% of total)
ival-asin: 230.0ms (0.1% of total)
ival-fabs: 173.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.7min (15%)

Algorithm
444×egg-herbie
Rules
165327×fma-define
114333×fma-neg
102242×distribute-lft-in
89962×times-frac
89788×*-commutative
Stop Event
115×saturated
328×node limit
1×unsound
Counts
148276 → 122852

soundness2.1min (11.3%)

Rules
89083×fma-define
70190×log1p-expm1-u
53610×expm1-log1p-u
52130×distribute-lft-in
51469×*-commutative
Stop Event
15×saturated
43×fuel
269×node limit
2×unsound
8×done
Compiler

Compiled 78684 to 22198 computations (71.8% saved)

localize1.7min (9.2%)

Results
24.3s2196×5exit
23.9s12950×1valid
13.1s27901×0valid
9.5s3076×2valid
4.2s573×3valid
2.3s3195×0invalid
980.0ms348×1invalid
590.0ms43×4valid
77.0ms39×2invalid
30.0ms110×0unsamplable
5.0ms1×5valid
Compiler

Compiled 94429 to 7515 computations (92% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.4s
ival-sin: 9.6s (18.7% of total)
ival-mult: 9.3s (18% of total)
ival-cos: 7.2s (13.9% of total)
ival-pow: 5.2s (10.1% of total)
backward-pass: 4.2s (8.2% of total)
ival-div: 3.9s (7.6% of total)
ival-add: 1.9s (3.7% of total)
ival-sub: 1.2s (2.3% of total)
...c/correct-round.rkt:119:19: 1.1s (2.2% of total)
ival-sqrt: 928.0ms (1.8% of total)
ival-log: 900.0ms (1.7% of total)
ival-exp: 760.0ms (1.5% of total)
ival-fma: 750.0ms (1.5% of total)
ival-log1p: 679.0ms (1.3% of total)
ival-hypot: 622.0ms (1.2% of total)
ival-tan: 543.0ms (1.1% of total)
ival-expm1: 497.0ms (1% of total)
ival-cbrt: 488.0ms (0.9% of total)
ival-atan: 420.0ms (0.8% of total)
ival-atan2: 405.0ms (0.8% of total)
ival-neg: 366.0ms (0.7% of total)
const: 220.0ms (0.4% of total)
ival-acos: 213.0ms (0.4% of total)
ival-pi: 91.0ms (0.2% of total)
ival-fabs: 79.0ms (0.2% of total)
ival-asin: 20.0ms (0% of total)

regimes1.3min (7%)

Counts
29138 → 901
Calls

143 calls:

5.2s
phi1
4.5s
lambda1
4.1s
phi2
3.9s
lambda2
3.5s
a
Compiler

Compiled 15239 to 9734 computations (36.1% saved)

rewrite54.9s (5%)

Algorithm
196×batch-egg-rewrite
Rules
124296×log1p-expm1-u
88904×expm1-log1p-u
53869×pow1
49718×add-exp-log
46434×add-log-exp
Stop Event
192×node limit
4×unsound
Counts
2997 → 78554

prune52.6s (4.8%)

Counts
189718 → 8259
Compiler

Compiled 581924 to 287061 computations (50.7% saved)

eval40.5s (3.7%)

Compiler

Compiled 8879971 to 866632 computations (90.2% saved)

series38.6s (3.5%)

Counts
2997 → 69722
Calls

17859 calls:

TimeVariablePointExpression
409.0ms
phi1
@0
(log (* R (acos (+ (* (cos phi2) (cos (- lambda1 lambda2))) (* phi1 (sin phi2))))))
369.0ms
b
@inf
(* (* b (* a (* b (neg a)))) (- (+ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) (sqrt (+ (pow (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) 2) (pow (/ (* (cos (* (/ angle 180) (PI))) (* 2 (* (- (pow b 2) (pow a 2)) (sin (* (/ angle 180) (PI)))))) (* x-scale y-scale)) 2)))))
366.0ms
b
@inf
(* x-scale (* (PI) (- (pow b 2) (pow a 2))))
272.0ms
a
@0
(* (- (pow b 2) (pow a 2)) (* 2 (* (sin (* (PI) (/ angle 180))) (cos (* (PI) (/ angle 180))))))
269.0ms
ew
@-inf
(* eh (- (* (sin t) (sin (atan (* (tan t) (/ (neg eh) ew))))) (* ew (* (cos (atan (* (tan t) (/ (neg eh) ew)))) (/ (cos t) eh)))))

analyze24.3s (2.2%)

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.7s (30.5% of total)
ival-pow: 2.1s (13.9% of total)
ival-cos: 1.5s (9.7% of total)
ival-div: 1.4s (9% of total)
ival-sin: 1.2s (8% of total)
ival-add: 1.1s (6.9% of total)
ival-sub: 801.0ms (5.2% of total)
ival-sqrt: 640.0ms (4.2% of total)
ival-<: 510.0ms (3.3% of total)
...c/correct-round.rkt:119:19: 325.0ms (2.1% of total)
ival-neg: 284.0ms (1.9% of total)
ival-atan2: 119.0ms (0.8% of total)
ival-fabs: 117.0ms (0.8% of total)
const: 94.0ms (0.6% of total)
ival-exp: 69.0ms (0.4% of total)
ival-pi: 69.0ms (0.4% of total)
ival-tan: 67.0ms (0.4% of total)
ival-atan: 62.0ms (0.4% of total)
ival-and: 54.0ms (0.4% of total)
ival-log: 52.0ms (0.3% of total)
ival-acos: 36.0ms (0.2% of total)
ival-asin: 35.0ms (0.2% of total)
backward-pass: 33.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

bsearch23.5s (2.1%)

Algorithm
347×binary-search
37×left-value
Stop Event
6×predicate-same
341×narrow-enough
Results
10.3s13840×1valid
5.8s26887×0valid
1.5s909×3valid
1.1s1415×2valid
249.0ms1824×0invalid
218.0ms37×4valid
40.0ms100×1invalid
26.0ms42×2invalid
0.0ms7×0unsamplable
Compiler

Compiled 126111 to 82225 computations (34.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.8s
ival-sin: 3.4s (21.6% of total)
ival-cos: 3.1s (19.7% of total)
ival-mult: 2.8s (17.8% of total)
ival-sub: 1.1s (7% of total)
ival-pow: 1.1s (6.9% of total)
ival-div: 1.0s (6.6% of total)
backward-pass: 701.0ms (4.4% of total)
ival-add: 633.0ms (4% of total)
ival-sqrt: 584.0ms (3.7% of total)
ival-atan2: 341.0ms (2.2% of total)
ival-tan: 191.0ms (1.2% of total)
ival-log: 155.0ms (1% of total)
ival-neg: 145.0ms (0.9% of total)
ival-pi: 113.0ms (0.7% of total)
ival-acos: 95.0ms (0.6% of total)
ival-exp: 91.0ms (0.6% of total)
const: 85.0ms (0.5% of total)
ival-atan: 76.0ms (0.5% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-asin: 7.0ms (0% of total)

explain18.9s (1.7%)

Results
5.6s8352×1valid
2.7s15772×0valid
2.5s1850×2valid
1.9s572×3valid
430.0ms78×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-sin: 2.0s (22.6% of total)
ival-cos: 1.4s (16.1% of total)
ival-mult: 1.4s (15.9% of total)
ival-div: 768.0ms (8.6% of total)
ival-pow: 674.0ms (7.6% of total)
backward-pass: 582.0ms (6.5% of total)
ival-add: 534.0ms (6% of total)
ival-sub: 323.0ms (3.6% of total)
ival-log: 228.0ms (2.6% of total)
ival-sqrt: 220.0ms (2.5% of total)
ival-exp: 189.0ms (2.1% of total)
ival-neg: 139.0ms (1.6% of total)
ival-tan: 131.0ms (1.5% of total)
ival-pi: 61.0ms (0.7% of total)
const: 59.0ms (0.7% of total)
ival-atan2: 42.0ms (0.5% of total)
ival-atan: 29.0ms (0.3% of total)
ival-acos: 26.0ms (0.3% of total)
ival-cbrt: 21.0ms (0.2% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)

preprocess15.5s (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 64252 to 24966 computations (61.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...