Herbie run

Date:Friday, May 10th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024131
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: 6.2min)

simplify1.4min (23.2%)

Algorithm
329×egg-herbie
Rules
109711×fma-define
84019×fma-neg
69097×distribute-lft-in
62401×distribute-rgt-in
51049×times-frac
Stop Event
117×saturated
211×node limit
1×unsound
Counts
73087 → 71292

sample1.4min (22.7%)

Results
36.2s275774×0valid
20.8s54397×1valid
9.3s16495×2valid
1.1s4198×0invalid
805.0ms202×5exit
179.0ms953×0unsamplable
24.0ms86×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.3s
ival-mult: 11.7s (23.3% of total)
ival-pow: 7.1s (14.1% of total)
ival-add: 5.2s (10.2% of total)
ival-sub: 4.4s (8.7% of total)
ival-div: 4.1s (8.1% of total)
...c/correct-round.rkt:119:19: 3.7s (7.3% of total)
ival-<=: 3.1s (6.2% of total)
ival-sin: 2.4s (4.8% of total)
backward-pass: 2.0s (4% of total)
ival-sqrt: 1.0s (2.1% of total)
ival-exp: 996.0ms (2% of total)
ival-cos: 920.0ms (1.8% of total)
ival-log: 800.0ms (1.6% of total)
const: 723.0ms (1.4% of total)
ival-neg: 558.0ms (1.1% of total)
ival-and: 410.0ms (0.8% of total)
ival-==: 380.0ms (0.8% of total)
ival-fma: 297.0ms (0.6% of total)
ival-tan: 222.0ms (0.4% of total)
ival-<: 155.0ms (0.3% of total)
ival-atan: 93.0ms (0.2% of total)
ival-pi: 37.0ms (0.1% of total)
ival-if: 9.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

soundness43.0s (11.5%)

Rules
37200×fma-define
33099×log1p-expm1-u
30336×fma-neg
26880×expm1-log1p-u
26077×distribute-lft-in
Stop Event
8×saturated
138×node limit
25×fuel
1×unsound
17×done
Compiler

Compiled 28761 to 8622 computations (70% saved)

rewrite37.0s (9.9%)

Algorithm
140×batch-egg-rewrite
Rules
80581×log1p-expm1-u
65156×expm1-log1p-u
29180×pow1
27562×add-exp-log
27070×prod-diff
Stop Event
140×node limit
Counts
1503 → 47531

localize33.0s (8.8%)

Results
10.7s30462×0valid
5.5s1233×5exit
4.3s3530×1valid
2.4s1431×2valid
286.0ms69×3valid
271.0ms869×0invalid
18.0ms38×0unsamplable
Compiler

Compiled 30084 to 3352 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.6s
ival-mult: 2.7s (19.8% of total)
ival-pow: 1.8s (13.3% of total)
ival-div: 1.5s (11% of total)
backward-pass: 1.5s (10.9% of total)
ival-add: 1.3s (9.5% of total)
...c/correct-round.rkt:119:19: 978.0ms (7.2% of total)
ival-sub: 930.0ms (6.8% of total)
ival-fma: 767.0ms (5.6% of total)
ival-expm1: 460.0ms (3.4% of total)
ival-log1p: 436.0ms (3.2% of total)
ival-exp: 302.0ms (2.2% of total)
ival-sqrt: 242.0ms (1.8% of total)
ival-cbrt: 168.0ms (1.2% of total)
const: 125.0ms (0.9% of total)
ival-neg: 95.0ms (0.7% of total)
ival-cos: 79.0ms (0.6% of total)
ival-hypot: 71.0ms (0.5% of total)
ival-sin: 59.0ms (0.4% of total)
ival-atan: 53.0ms (0.4% of total)
ival-log: 28.0ms (0.2% of total)
ival-tan: 14.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)

prune23.0s (6.2%)

Counts
106165 → 2022
Compiler

Compiled 67309 to 36295 computations (46.1% saved)

eval21.4s (5.7%)

Compiler

Compiled 2892857 to 396781 computations (86.3% saved)

preprocess9.8s (2.6%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 18800 to 7310 computations (61.1% saved)

bsearch8.9s (2.4%)

Algorithm
268×binary-search
16×left-value
Stop Event
5×predicate-same
263×narrow-enough
Results
5.0s27943×0valid
1.4s5027×1valid
176.0ms2139×0invalid
142.0ms310×2valid
Compiler

Compiled 60273 to 40296 computations (33.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.4s
ival-mult: 1.7s (37.2% of total)
ival-pow: 828.0ms (18.6% of total)
ival-add: 631.0ms (14.2% of total)
ival-div: 582.0ms (13.1% of total)
ival-sub: 359.0ms (8.1% of total)
ival-sqrt: 111.0ms (2.5% of total)
backward-pass: 103.0ms (2.3% of total)
ival-neg: 67.0ms (1.5% of total)
const: 60.0ms (1.3% of total)
ival-exp: 44.0ms (1% of total)
...c/correct-round.rkt:119:19: 6.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

explain8.8s (2.4%)

Results
2.4s16312×0valid
1.9s3858×1valid
891.0ms1308×2valid
39.0ms26×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 650.0ms (24.4% of total)
ival-pow: 353.0ms (13.3% of total)
ival-add: 347.0ms (13% of total)
ival-div: 321.0ms (12.1% of total)
ival-sub: 270.0ms (10.1% of total)
backward-pass: 224.0ms (8.4% of total)
ival-log: 138.0ms (5.2% of total)
ival-sin: 79.0ms (3% of total)
const: 49.0ms (1.8% of total)
...c/correct-round.rkt:119:19: 45.0ms (1.7% of total)
ival-exp: 40.0ms (1.5% of total)
ival-tan: 34.0ms (1.3% of total)
ival-cos: 34.0ms (1.3% of total)
ival-sqrt: 29.0ms (1.1% of total)
ival-neg: 26.0ms (1% of total)
ival-fma: 16.0ms (0.6% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

series7.3s (2%)

Counts
1503 → 25556
Calls

6945 calls:

TimeVariablePointExpression
188.0ms
c
@-inf
(+ b (sqrt (+ (* a (* c -4)) (pow b 2))))
163.0ms
c
@inf
(+ b (+ c (+ d a)))
133.0ms
a
@0
(pow (cbrt (/ -1/2 a)) 3)
132.0ms
c
@inf
(* (cbrt (pow (/ -1/2 a) 3)) (+ b (sqrt (+ (* a (* c -4)) (* b b)))))
102.0ms
a
@-inf
(+ (+ b (sqrt (+ (* a (* c -4)) (pow b 2)))) (+ b b))

analyze5.2s (1.4%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 882.0ms (25.9% of total)
ival-pow: 663.0ms (19.4% of total)
ival-div: 421.0ms (12.3% of total)
ival-add: 355.0ms (10.4% of total)
ival-sub: 280.0ms (8.2% of total)
ival-<=: 183.0ms (5.4% of total)
ival-exp: 160.0ms (4.7% of total)
ival-sqrt: 102.0ms (3% of total)
ival-if: 62.0ms (1.8% of total)
ival-==: 59.0ms (1.7% of total)
ival-fabs: 50.0ms (1.5% of total)
...c/correct-round.rkt:119:19: 47.0ms (1.4% of total)
const: 44.0ms (1.3% of total)
ival-and: 32.0ms (0.9% of total)
ival-neg: 27.0ms (0.8% of total)
ival-<: 21.0ms (0.6% of total)
backward-pass: 10.0ms (0.3% of total)
ival-cos: 5.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-log: 1.0ms (0% of total)
ival-atan: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)

regimes4.7s (1.2%)

Counts
4362 → 569
Calls

96 calls:

499.0ms
x
485.0ms
b
250.0ms
a
247.0ms
d
176.0ms
t
Compiler

Compiled 4090 to 2579 computations (36.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...