Herbie run

Date:Thursday, May 16th, 2024
Commit:9db37a23 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024137
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: 18.0min)

sample6.0min (33.3%)

Results
42.3s270657×0valid
1.2min129658×1valid
13.1s48860×0unsamplable
2.1min25445×5exit
20.6s19426×2valid
4.0s19181×0invalid
3.7s11073×1invalid
25.8s8265×3valid
1.4s1715×2invalid
9.0s1306×4valid
104.0ms874×0precondition
39.0ms60×1unsamplable
15.0ms24×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.7min
ival-pow: 2.1min (43.9% of total)
ival-mult: 29.6s (10.5% of total)
ival-sin: 26.5s (9.4% of total)
ival-cos: 23.8s (8.5% of total)
ival-div: 17.4s (6.2% of total)
backward-pass: 10.4s (3.7% of total)
ival-sub: 10.4s (3.7% of total)
ival-add: 9.6s (3.4% of total)
ival-log: 6.1s (2.2% of total)
ival-exp: 6.0s (2.1% of total)
ival-sqrt: 5.5s (1.9% of total)
ival-neg: 3.9s (1.4% of total)
ival-<: 2.8s (1% of total)
const: 1.1s (0.4% of total)
ival-pi: 983.0ms (0.3% of total)
ival-atan2: 805.0ms (0.3% of total)
ival-tan: 741.0ms (0.3% of total)
ival-and: 412.0ms (0.1% of total)
ival-acos: 407.0ms (0.1% of total)
ival-atan: 403.0ms (0.1% of total)
ival-<=: 290.0ms (0.1% of total)
ival-cbrt: 283.0ms (0.1% of total)
ival-fabs: 183.0ms (0.1% of total)
ival-asin: 178.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.3min (12.9%)

Algorithm
248×egg-herbie
Rules
70608×fma-define
65378×*-commutative
59139×distribute-lft-in
55990×times-frac
52253×distribute-rgt-in
Stop Event
51×saturated
196×node limit
1×unsound
Counts
144447 → 122832

localize2.2min (12.4%)

Algorithm
198×egg-herbie
Rules
100148×fma-define
70437×fma-neg
42387×unsub-neg
42213×distribute-lft-in
39055×sub-neg
Stop Event
66×saturated
132×node limit
Results
11.9s27108×0valid
22.3s13010×1valid
37.1s4152×5exit
3.0s3420×0invalid
7.3s2289×2valid
2.0s330×3valid
725.0ms166×1invalid
209.0ms157×0unsamplable
501.0ms42×4valid
35.0ms11×2invalid
15.0ms3×3invalid
Compiler

Compiled 97660 to 7637 computations (92.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.7s
ival-mult: 10.0s (17% of total)
ival-sin: 7.9s (13.5% of total)
ival-pow: 6.6s (11.2% of total)
ival-cos: 6.5s (11.1% of total)
backward-pass: 5.4s (9.2% of total)
ival-div: 4.9s (8.4% of total)
ival-expm1: 2.8s (4.7% of total)
ival-log1p: 2.6s (4.5% of total)
ival-add: 2.3s (3.9% of total)
ival-exp: 2.1s (3.5% of total)
ival-sub: 1.4s (2.5% of total)
ival-sqrt: 1.1s (1.9% of total)
ival-log: 934.0ms (1.6% of total)
ival-hypot: 784.0ms (1.3% of total)
ival-fma: 780.0ms (1.3% of total)
ival-cbrt: 469.0ms (0.8% of total)
ival-neg: 395.0ms (0.7% of total)
ival-atan2: 371.0ms (0.6% of total)
ival-tan: 298.0ms (0.5% of total)
const: 249.0ms (0.4% of total)
ival-atan: 206.0ms (0.4% of total)
ival-acos: 163.0ms (0.3% of total)
ival-pi: 137.0ms (0.2% of total)
ival-e: 122.0ms (0.2% of total)
ival-fabs: 84.0ms (0.1% of total)
ival-asin: 29.0ms (0% of total)

soundness1.8min (10%)

Rules
78198×fma-define
65490×log1p-expm1-u
51195×expm1-log1p-u
51157×*-commutative
51018×distribute-lft-in
Stop Event
14×saturated
43×fuel
256×node limit
3×unsound
8×done
Compiler

Compiled 68160 to 19532 computations (71.3% saved)

regimes1.1min (6%)

Counts
28446 → 939
Calls

155 calls:

4.2s
phi2
4.0s
lambda1
3.6s
phi1
2.9s
lambda2
2.7s
(-.f64 lambda1 lambda2)
Compiler

Compiled 13226 to 8627 computations (34.8% saved)

prune55.6s (5.1%)

Counts
200658 → 8579
Compiler

Compiled 611942 to 299500 computations (51.1% saved)

rewrite52.5s (4.9%)

Algorithm
197×batch-egg-rewrite
Rules
116058×log1p-expm1-u
90375×expm1-log1p-u
53955×pow1
51848×add-exp-log
49006×add-log-exp
Stop Event
193×node limit
4×unsound
Counts
2960 → 77206

eval44.9s (4.1%)

Compiler

Compiled 9957082 to 912496 computations (90.8% saved)

series37.0s (3.4%)

Counts
2960 → 67241
Calls

17403 calls:

TimeVariablePointExpression
505.0ms
C
@0
(log (* (* -16 (pow A 2)) (* F C)))
449.0ms
A
@inf
(/ (sqrt (* F (* (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (* 2 (pow B 2))))) (neg (+ (* C (* A -4)) (pow B 2))))
362.0ms
a
@0
(/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)))
355.0ms
x-scale
@-inf
(log (pow (exp x-scale) y-scale))
329.0ms
angle
@-inf
(log (+ 1 (* 180 (/ (atan (* (* (* y-scale 2) (/ (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) x-scale))) -1/2)) (PI)))))

bsearch26.9s (2.5%)

Algorithm
377×binary-search
47×left-value
Stop Event
13×predicate-same
364×narrow-enough
Results
5.5s27220×0valid
12.0s15790×1valid
1.6s1867×2valid
194.0ms1608×0invalid
2.6s1171×3valid
1.0ms31×0unsamplable
99.0ms16×4valid
Compiler

Compiled 137962 to 90714 computations (34.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0s
ival-sin: 4.0s (22% of total)
ival-cos: 3.8s (21% of total)
ival-mult: 3.0s (16.5% of total)
ival-pow: 1.5s (8.5% of total)
ival-sub: 1.3s (7% of total)
ival-div: 1.2s (6.8% of total)
backward-pass: 1.0s (5.8% of total)
ival-add: 547.0ms (3% of total)
ival-sqrt: 532.0ms (3% of total)
ival-atan2: 257.0ms (1.4% of total)
ival-acos: 171.0ms (1% of total)
ival-atan: 139.0ms (0.8% of total)
ival-neg: 115.0ms (0.6% of total)
ival-tan: 102.0ms (0.6% of total)
ival-exp: 98.0ms (0.5% of total)
const: 87.0ms (0.5% of total)
ival-pi: 79.0ms (0.4% of total)
ival-log: 56.0ms (0.3% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-asin: 10.0ms (0.1% of total)
ival-cbrt: 7.0ms (0% of total)

analyze23.5s (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: 14.9s
ival-mult: 4.6s (31% of total)
ival-pow: 2.0s (13.4% of total)
ival-cos: 1.5s (10.3% of total)
ival-div: 1.4s (9.4% of total)
ival-sin: 1.2s (8.3% of total)
ival-add: 996.0ms (6.7% of total)
ival-sub: 891.0ms (6% of total)
ival-sqrt: 673.0ms (4.5% of total)
ival-<: 477.0ms (3.2% of total)
ival-neg: 304.0ms (2% of total)
ival-atan2: 149.0ms (1% of total)
const: 100.0ms (0.7% of total)
ival-atan: 77.0ms (0.5% of total)
ival-exp: 71.0ms (0.5% of total)
ival-pi: 71.0ms (0.5% of total)
ival-tan: 55.0ms (0.4% of total)
ival-log: 52.0ms (0.3% of total)
ival-and: 50.0ms (0.3% of total)
ival-acos: 46.0ms (0.3% of total)
backward-pass: 33.0ms (0.2% of total)
ival-asin: 33.0ms (0.2% of total)
ival-fabs: 32.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

explain19.6s (1.8%)

Results
2.9s15592×0valid
5.3s8504×1valid
3.1s1900×2valid
2.0s546×3valid
547.0ms82×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-sin: 1.9s (20.4% of total)
ival-mult: 1.5s (16.1% of total)
ival-cos: 1.5s (15.7% of total)
ival-pow: 998.0ms (10.7% of total)
ival-div: 694.0ms (7.5% of total)
backward-pass: 595.0ms (6.4% of total)
ival-add: 405.0ms (4.4% of total)
ival-sub: 391.0ms (4.2% of total)
ival-exp: 329.0ms (3.5% of total)
ival-log: 291.0ms (3.1% of total)
ival-sqrt: 221.0ms (2.4% of total)
ival-tan: 150.0ms (1.6% of total)
ival-neg: 117.0ms (1.3% of total)
const: 56.0ms (0.6% of total)
ival-atan2: 56.0ms (0.6% of total)
ival-pi: 43.0ms (0.5% of total)
ival-atan: 30.0ms (0.3% of total)
ival-cbrt: 24.0ms (0.3% of total)
ival-acos: 22.0ms (0.2% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess14.5s (1.3%)

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 67140 to 23760 computations (64.6% saved)

end0.0ms (0%)

Calls

1 calls:

119.0ms
(exp.f64 (neg.f64 s))

Profiling

Loading profile data...