Herbie run

Date:Thursday, May 16th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024137
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)

sample1.4min (23%)

Results
37.9s275567×0valid
20.5s54722×1valid
8.8s16372×2valid
608.0ms4239×0invalid
368.0ms202×5exit
161.0ms1018×0unsamplable
27.0ms91×3valid
Precisions
Click to see histograms. Total time spent on operations: 51.7s
ival-mult: 11.9s (23.1% of total)
ival-pow: 6.4s (12.5% of total)
ival-add: 5.0s (9.6% of total)
ival-sub: 4.8s (9.2% of total)
ival-div: 4.3s (8.3% of total)
...c/correct-round.rkt:121:19: 3.5s (6.8% of total)
ival-<=: 3.3s (6.4% of total)
backward-pass: 3.0s (5.8% of total)
ival-sin: 2.5s (4.9% of total)
ival-cos: 1.0s (2% of total)
ival-log: 953.0ms (1.8% of total)
ival-exp: 929.0ms (1.8% of total)
ival-neg: 838.0ms (1.6% of total)
const: 721.0ms (1.4% of total)
ival-==: 713.0ms (1.4% of total)
ival-sqrt: 539.0ms (1% of total)
ival-and: 412.0ms (0.8% of total)
ival-fma: 384.0ms (0.7% of total)
ival-atan: 195.0ms (0.4% of total)
ival-<: 183.0ms (0.4% of total)
ival-tan: 63.0ms (0.1% of total)
ival-pi: 36.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
ival-fabs: 6.0ms (0% of total)
Bogosity

simplify1.2min (19.2%)

Algorithm
334×egg-herbie
Rules
107255×fma-define
93486×fma-neg
67386×distribute-lft-in
57643×distribute-rgt-in
56594×times-frac
Stop Event
118×saturated
216×node limit
Counts
73096 → 70719

soundness51.0s (13.6%)

Rules
39413×fma-define
33695×log1p-expm1-u
32377×fma-neg
28743×expm1-log1p-u
24818×distribute-lft-in
Stop Event
7×saturated
145×node limit
26×fuel
16×done
Compiler

Compiled 26789 to 8328 computations (68.9% saved)

rewrite40.5s (10.9%)

Algorithm
143×batch-egg-rewrite
Rules
81095×log1p-expm1-u
64998×expm1-log1p-u
32164×pow1
29002×add-exp-log
26988×add-log-exp
Stop Event
143×node limit
Counts
1485 → 47861

localize31.7s (8.5%)

Results
11.4s31147×0valid
5.5s1142×5exit
3.1s2999×1valid
1.9s1172×2valid
737.0ms1535×0invalid
188.0ms44×3valid
29.0ms99×0unsamplable
20.0ms5×4valid
6.0ms1×5valid
Compiler

Compiled 28197 to 3329 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
ival-mult: 3.1s (23.1% of total)
ival-pow: 1.8s (13.5% of total)
ival-div: 1.7s (12.9% of total)
ival-add: 1.4s (10.7% of total)
backward-pass: 1.3s (9.5% of total)
ival-sub: 1.1s (8.7% of total)
ival-log1p: 601.0ms (4.5% of total)
...c/correct-round.rkt:121:19: 575.0ms (4.3% of total)
ival-expm1: 463.0ms (3.5% of total)
ival-fma: 389.0ms (2.9% of total)
ival-exp: 184.0ms (1.4% of total)
ival-sin: 142.0ms (1.1% of total)
const: 118.0ms (0.9% of total)
ival-sqrt: 111.0ms (0.8% of total)
ival-neg: 93.0ms (0.7% of total)
ival-cos: 54.0ms (0.4% of total)
ival-tan: 47.0ms (0.4% of total)
ival-hypot: 46.0ms (0.3% of total)
ival-cbrt: 30.0ms (0.2% of total)
ival-atan: 14.0ms (0.1% of total)
ival-log: 8.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-e: 2.0ms (0% of total)

prune23.7s (6.3%)

Counts
105700 → 2096
Compiler

Compiled 75510 to 39081 computations (48.2% saved)

eval22.2s (5.9%)

Compiler

Compiled 2804819 to 389437 computations (86.1% saved)

preprocess10.0s (2.7%)

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 19956 to 7286 computations (63.5% saved)

explain9.2s (2.5%)

Results
2.5s16248×0valid
2.4s3938×1valid
1.1s1312×2valid
9.0ms6×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 549.0ms (20.4% of total)
ival-pow: 446.0ms (16.6% of total)
ival-div: 417.0ms (15.5% of total)
ival-add: 272.0ms (10.1% of total)
ival-sub: 238.0ms (8.9% of total)
backward-pass: 197.0ms (7.3% of total)
ival-sin: 147.0ms (5.5% of total)
...c/correct-round.rkt:121:19: 105.0ms (3.9% of total)
ival-exp: 61.0ms (2.3% of total)
ival-neg: 52.0ms (1.9% of total)
ival-log: 52.0ms (1.9% of total)
const: 45.0ms (1.7% of total)
ival-cos: 43.0ms (1.6% of total)
ival-sqrt: 34.0ms (1.3% of total)
ival-fma: 19.0ms (0.7% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch8.7s (2.3%)

Algorithm
274×binary-search
14×left-value
Stop Event
17×predicate-same
257×narrow-enough
Results
4.4s26813×0valid
1.5s6054×1valid
328.0ms2495×0invalid
232.0ms365×2valid
43.0ms288×0unsamplable
Compiler

Compiled 66861 to 43150 computations (35.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9s
ival-mult: 1.8s (36.4% of total)
ival-div: 662.0ms (13.6% of total)
ival-pow: 631.0ms (12.9% of total)
ival-add: 606.0ms (12.4% of total)
ival-sub: 568.0ms (11.6% of total)
ival-neg: 217.0ms (4.4% of total)
ival-sqrt: 127.0ms (2.6% of total)
backward-pass: 125.0ms (2.6% of total)
ival-exp: 88.0ms (1.8% of total)
const: 68.0ms (1.4% of total)
ival-log: 13.0ms (0.3% of total)
...c/correct-round.rkt:121:19: 4.0ms (0.1% of total)

series7.1s (1.9%)

Counts
1485 → 25235
Calls

6828 calls:

TimeVariablePointExpression
199.0ms
t
@inf
(* t 1/170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
135.0ms
c
@0
(log (+ 1 (/ c (neg b))))
133.0ms
x
@0
(log (+ 1 (* 5 (pow x 4))))
116.0ms
x
@0
(* 4 (log x))
103.0ms
x
@-inf
(log (+ 1 (cos x)))

analyze6.2s (1.7%)

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: 4.0s
ival-mult: 1.0s (25.2% of total)
ival-add: 548.0ms (13.8% of total)
ival-pow: 520.0ms (13.1% of total)
ival-div: 446.0ms (11.2% of total)
ival-sub: 280.0ms (7% of total)
ival-neg: 242.0ms (6.1% of total)
ival-<=: 217.0ms (5.5% of total)
ival-==: 135.0ms (3.4% of total)
ival-if: 118.0ms (3% of total)
...c/correct-round.rkt:121:19: 106.0ms (2.7% of total)
ival-sqrt: 103.0ms (2.6% of total)
ival-exp: 91.0ms (2.3% of total)
ival-fabs: 49.0ms (1.2% of total)
const: 45.0ms (1.1% of total)
ival-<: 31.0ms (0.8% of total)
ival-and: 29.0ms (0.7% of total)
backward-pass: 7.0ms (0.2% of total)
ival-pi: 7.0ms (0.2% of total)
ival-cos: 2.0ms (0.1% 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)
ival-log: 0.0ms (0% of total)

regimes5.5s (1.5%)

Counts
4476 → 577
Calls

96 calls:

587.0ms
x
393.0ms
b
379.0ms
c
259.0ms
d
242.0ms
a
Compiler

Compiled 4150 to 2581 computations (37.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...