Herbie run

Date:Saturday, April 27th, 2024
Commit:49c7f308 on main
Hostname:nightly with Racket 8.11.1
Seed:2024118
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: 6.3min)

sample1.4min (22.2%)

Results
35.2s275876×0valid
19.2s54444×1valid
8.3s16316×2valid
608.0ms202×5exit
445.0ms4158×0invalid
123.0ms945×0unsamplable
46.0ms116×3valid
Precisions
Click to see histograms. Total time spent on operations: 47.9s
ival-mult: 12.2s (25.5% of total)
ival-pow: 7.0s (14.6% of total)
ival-add: 5.4s (11.3% of total)
ival-sub: 4.6s (9.7% of total)
ival-div: 4.0s (8.3% of total)
ival-<=: 3.3s (6.9% of total)
backward-pass: 2.5s (5.1% of total)
ival-sin: 2.1s (4.3% of total)
ival-log: 1.2s (2.5% of total)
ival-exp: 1.2s (2.5% of total)
ival-cos: 947.0ms (2% of total)
const: 786.0ms (1.6% of total)
ival-neg: 603.0ms (1.3% of total)
ival-sqrt: 575.0ms (1.2% of total)
ival-fma: 438.0ms (0.9% of total)
ival-and: 411.0ms (0.9% of total)
ival-==: 263.0ms (0.5% of total)
ival-tan: 221.0ms (0.5% of total)
ival-<: 126.0ms (0.3% of total)
ival-atan: 82.0ms (0.2% of total)
ival-pi: 38.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
Bogosity

simplify58.9s (15.5%)

Algorithm
185×egg-herbie
Rules
48557×fma-define
40286×fma-neg
38848×distribute-lft-in
36004×*-commutative
35405×distribute-rgt-in
Stop Event
43×saturated
142×node limit
Counts
75310 → 71368

soundness50.8s (13.4%)

Rules
40274×fma-define
35023×log1p-expm1-u
29365×fma-neg
27419×expm1-log1p-u
24489×distribute-lft-in
Stop Event
6×saturated
138×node limit
26×fuel
16×done
Compiler

Compiled 29864 to 8535 computations (71.4% saved)

localize48.6s (12.8%)

Algorithm
149×egg-herbie
Rules
64351×fma-define
48106×fma-neg
25796×distribute-lft-in
22198×distribute-rgt-in
21278×unsub-neg
Stop Event
75×saturated
74×node limit
Results
10.6s30436×0valid
6.5s1287×5exit
3.9s3547×1valid
3.2s1725×2valid
510.0ms977×0invalid
326.0ms77×3valid
23.0ms95×0unsamplable
Compiler

Compiled 31299 to 3437 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0s
ival-mult: 3.7s (26.2% of total)
ival-pow: 2.0s (14.6% of total)
backward-pass: 2.0s (14.5% of total)
ival-div: 1.7s (12.4% of total)
ival-add: 1.6s (11.4% of total)
ival-sub: 605.0ms (4.3% of total)
ival-log1p: 601.0ms (4.3% of total)
ival-expm1: 405.0ms (2.9% of total)
ival-fma: 334.0ms (2.4% of total)
ival-sqrt: 295.0ms (2.1% of total)
ival-exp: 179.0ms (1.3% of total)
const: 136.0ms (1% of total)
ival-neg: 94.0ms (0.7% of total)
ival-sin: 60.0ms (0.4% of total)
ival-cos: 48.0ms (0.3% of total)
ival-hypot: 44.0ms (0.3% of total)
ival-cbrt: 43.0ms (0.3% of total)
ival-log: 35.0ms (0.3% of total)
ival-atan: 24.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

rewrite36.1s (9.5%)

Algorithm
143×batch-egg-rewrite
Rules
86360×log1p-expm1-u
66816×expm1-log1p-u
30693×pow1
28851×add-exp-log
27765×add-log-exp
Stop Event
143×node limit
Counts
1512 → 48628

prune24.9s (6.6%)

Counts
106455 → 2151
Compiler

Compiled 75133 to 39477 computations (47.5% saved)

eval23.8s (6.3%)

Compiler

Compiled 2906722 to 402708 computations (86.1% saved)

series14.1s (3.7%)

Counts
1512 → 26682
Calls

7164 calls:

TimeVariablePointExpression
6.6s
x
@0
(pow x 3/4)
150.0ms
c
@inf
(* 4 c)
125.0ms
a
@0
(* a (+ a b))
110.0ms
eps
@0
(* (+ 1 (neg (/ 1 eps))) (exp (* (- 1 eps) (neg x))))
108.0ms
x
@inf
(log (+ 1 (cos x)))

preprocess9.7s (2.5%)

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 20182 to 7312 computations (63.8% saved)

explain9.2s (2.4%)

Results
3.3s16312×0valid
2.0s3864×1valid
1.1s1318×2valid
152.0ms10×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-mult: 890.0ms (23% of total)
ival-add: 782.0ms (20.2% of total)
ival-sub: 692.0ms (17.9% of total)
ival-pow: 386.0ms (10% of total)
backward-pass: 292.0ms (7.5% of total)
ival-div: 289.0ms (7.5% of total)
ival-sin: 128.0ms (3.3% of total)
ival-exp: 100.0ms (2.6% of total)
ival-neg: 87.0ms (2.2% of total)
ival-log: 81.0ms (2.1% of total)
const: 46.0ms (1.2% of total)
ival-cos: 38.0ms (1% of total)
ival-sqrt: 27.0ms (0.7% of total)
ival-fma: 20.0ms (0.5% of total)
ival-tan: 9.0ms (0.2% of total)
ival-atan: 5.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch8.0s (2.1%)

Algorithm
245×binary-search
22×left-value
Stop Event
11×predicate-same
234×narrow-enough
Results
3.9s26001×0valid
1.2s3920×1valid
282.0ms479×2valid
188.0ms2322×0invalid
Compiler

Compiled 59137 to 37010 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-mult: 1.4s (35.7% of total)
ival-pow: 558.0ms (14.7% of total)
ival-add: 503.0ms (13.3% of total)
ival-div: 500.0ms (13.2% of total)
ival-sub: 446.0ms (11.7% of total)
ival-neg: 110.0ms (2.9% of total)
backward-pass: 99.0ms (2.6% of total)
ival-sqrt: 91.0ms (2.4% of total)
ival-exp: 73.0ms (1.9% of total)
const: 59.0ms (1.6% of total)
ival-pi: 2.0ms (0.1% of total)

regimes6.0s (1.6%)

Counts
4485 → 549
Calls

96 calls:

774.0ms
x
425.0ms
b
285.0ms
t
278.0ms
c
251.0ms
a
Compiler

Compiled 4413 to 2690 computations (39% saved)

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.3s
ival-mult: 735.0ms (22.5% of total)
ival-add: 443.0ms (13.6% of total)
ival-div: 338.0ms (10.4% of total)
ival-sub: 323.0ms (9.9% of total)
ival-pow: 321.0ms (9.8% of total)
ival-neg: 259.0ms (7.9% of total)
ival-<: 170.0ms (5.2% of total)
ival-<=: 149.0ms (4.6% of total)
ival-sqrt: 115.0ms (3.5% of total)
ival-exp: 91.0ms (2.8% of total)
ival-pi: 73.0ms (2.2% of total)
ival-if: 63.0ms (1.9% of total)
ival-==: 52.0ms (1.6% of total)
ival-fabs: 50.0ms (1.5% of total)
const: 48.0ms (1.5% of total)
ival-and: 16.0ms (0.5% of total)
backward-pass: 9.0ms (0.3% of total)
ival-log: 3.0ms (0.1% of total)
ival-cos: 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)

end0.0ms (0%)

Profiling

Loading profile data...