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: 3.7min)

sample1.3min (35.3%)

Results
31.5s48742×1valid
18.7s16605×5exit
17.6s109030×0valid
2.6s7348×2valid
403.0ms3958×0invalid
172.0ms1398×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 59.3s
backward-pass: 13.9s (23.4% of total)
ival-pow: 6.2s (10.5% of total)
ival-sin: 6.0s (10.1% of total)
ival-div: 5.7s (9.6% of total)
ival-exp: 5.7s (9.6% of total)
ival-cos: 5.0s (8.5% of total)
ival-mult: 3.3s (5.6% of total)
...c/correct-round.rkt:121:19: 3.1s (5.2% of total)
ival-sqrt: 1.5s (2.5% of total)
ival-log: 1.3s (2.2% of total)
ival-tan: 1.2s (2% of total)
ival-sub: 1.1s (1.9% of total)
ival-<=: 1.1s (1.8% of total)
ival-add: 1.0s (1.7% of total)
ival-fmod: 980.0ms (1.7% of total)
ival-acos: 527.0ms (0.9% of total)
ival-sinh: 406.0ms (0.7% of total)
ival-atan: 294.0ms (0.5% of total)
ival-neg: 275.0ms (0.5% of total)
const: 224.0ms (0.4% of total)
ival-==: 152.0ms (0.3% of total)
ival-and: 137.0ms (0.2% of total)
ival-<: 114.0ms (0.2% of total)
ival->=: 67.0ms (0.1% of total)
ival-or: 63.0ms (0.1% of total)
ival->: 38.0ms (0.1% of total)
Bogosity

soundness36.3s (16.2%)

Rules
17317×fma-define
13871×log1p-expm1-u
10568×fma-neg
10289×associate-*r*
10080×expm1-log1p-u
Stop Event
7×saturated
53×node limit
12×fuel
1×unsound
8×done
Compiler

Compiled 8925 to 2782 computations (68.8% saved)

simplify28.5s (12.8%)

Algorithm
163×egg-herbie
Rules
50827×fma-define
39047×fma-neg
25474×distribute-lft-in
24174×distribute-rgt-in
23164×associate-*r*
Stop Event
66×saturated
90×node limit
7×unsound
Counts
33335 → 29916

localize14.9s (6.7%)

Results
4.0s4019×1valid
3.5s12319×0valid
2.4s303×5exit
1.0s624×2valid
313.0ms229×1invalid
277.0ms675×0invalid
129.0ms262×0unsamplable
3.0ms1×3valid
Compiler

Compiled 9051 to 1384 computations (84.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-pow: 1.7s (21.1% of total)
ival-cos: 1.1s (13% of total)
ival-log: 767.0ms (9.4% of total)
ival-mult: 657.0ms (8.1% of total)
ival-div: 558.0ms (6.9% of total)
backward-pass: 484.0ms (5.9% of total)
ival-exp: 369.0ms (4.5% of total)
ival-sin: 317.0ms (3.9% of total)
ival-add: 255.0ms (3.1% of total)
ival-tan: 215.0ms (2.6% of total)
ival-sqrt: 205.0ms (2.5% of total)
...c/correct-round.rkt:121:19: 198.0ms (2.4% of total)
ival-sub: 196.0ms (2.4% of total)
ival-neg: 181.0ms (2.2% of total)
ival-fmod: 180.0ms (2.2% of total)
ival-log1p: 135.0ms (1.7% of total)
ival-acos: 99.0ms (1.2% of total)
ival-hypot: 77.0ms (0.9% of total)
ival-e: 75.0ms (0.9% of total)
ival-fma: 65.0ms (0.8% of total)
ival-sinh: 56.0ms (0.7% of total)
ival-cbrt: 56.0ms (0.7% of total)
ival-atan: 55.0ms (0.7% of total)
ival-asin: 54.0ms (0.7% of total)
const: 46.0ms (0.6% of total)
ival-expm1: 42.0ms (0.5% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-pi: 5.0ms (0.1% of total)

rewrite14.7s (6.6%)

Algorithm
71×batch-egg-rewrite
Rules
37964×log1p-expm1-u
32027×expm1-log1p-u
18083×pow1
15669×add-exp-log
14983×add-log-exp
Stop Event
71×node limit
Counts
687 → 22107

prune12.7s (5.7%)

Counts
50050 → 1866
Compiler

Compiled 65877 to 35818 computations (45.6% saved)

eval9.2s (4.1%)

Compiler

Compiled 1040532 to 165328 computations (84.1% saved)

regimes8.4s (3.8%)

Counts
3423 → 162
Calls

55 calls:

1.0s
a
828.0ms
r
806.0ms
x
793.0ms
(tan.f64 a)
532.0ms
b
Compiler

Compiled 1744 to 1241 computations (28.8% saved)

analyze5.8s (2.6%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
...c/correct-round.rkt:121:19: 1.8s (48.2% of total)
ival-<=: 527.0ms (13.8% of total)
ival-add: 306.0ms (8% of total)
ival-tan: 201.0ms (5.2% of total)
ival-==: 164.0ms (4.3% of total)
ival-mult: 137.0ms (3.6% of total)
ival-pow: 116.0ms (3% of total)
ival-sin: 75.0ms (2% of total)
ival-cos: 69.0ms (1.8% of total)
ival-sub: 58.0ms (1.5% of total)
ival-div: 53.0ms (1.4% of total)
ival-and: 52.0ms (1.4% of total)
ival-fmod: 48.0ms (1.3% of total)
ival-exp: 46.0ms (1.2% of total)
ival-or: 29.0ms (0.8% of total)
ival-neg: 21.0ms (0.5% of total)
ival-sqrt: 18.0ms (0.5% of total)
ival-log: 18.0ms (0.5% of total)
ival-sinh: 16.0ms (0.4% of total)
const: 13.0ms (0.3% of total)
backward-pass: 6.0ms (0.2% of total)
ival-<: 5.0ms (0.1% of total)
ival->: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

series5.4s (2.4%)

Counts
687 → 11228
Calls

2736 calls:

TimeVariablePointExpression
368.0ms
r
@0
(log (* r (sin b)))
200.0ms
b
@0
(/ 1 (cos (+ b a)))
183.0ms
b
@0
(log (* r (fabs (sin b))))
155.0ms
b
@-inf
(log (* r (fabs (sin b))))
142.0ms
l
@-inf
(/ (pow (pow l (+ 1 (* w (+ 1/2 (* w 1/8))))) (sqrt (exp w))) (exp w))

preprocess3.6s (1.6%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 5504 to 2820 computations (48.8% saved)

explain3.1s (1.4%)

Results
755.0ms6646×0valid
638.0ms3026×1valid
460.0ms106×5exit
296.0ms462×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 295.0ms (21.3% of total)
ival-mult: 288.0ms (20.8% of total)
ival-fmod: 163.0ms (11.8% of total)
ival-add: 105.0ms (7.6% of total)
backward-pass: 83.0ms (6% of total)
ival-log: 68.0ms (4.9% of total)
ival-sqrt: 64.0ms (4.6% of total)
ival-tan: 59.0ms (4.3% of total)
ival-exp: 52.0ms (3.7% of total)
ival-sin: 39.0ms (2.8% of total)
ival-pow: 38.0ms (2.7% of total)
ival-sub: 37.0ms (2.7% of total)
ival-div: 36.0ms (2.6% of total)
ival-acos: 21.0ms (1.5% of total)
ival-sinh: 16.0ms (1.2% of total)
const: 13.0ms (0.9% of total)
ival-neg: 6.0ms (0.4% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.9s (0.8%)

Algorithm
49×binary-search
7×left-value
Stop Event
49×narrow-enough
Results
880.0ms3086×1valid
387.0ms2962×0valid
1.0ms16×0unsamplable
Compiler

Compiled 7736 to 5666 computations (26.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 857.0ms
ival-tan: 193.0ms (22.5% of total)
ival-cos: 128.0ms (14.9% of total)
ival-sin: 125.0ms (14.6% of total)
backward-pass: 118.0ms (13.8% of total)
ival-pow: 68.0ms (7.9% of total)
ival-add: 62.0ms (7.2% of total)
ival-div: 54.0ms (6.3% of total)
ival-mult: 39.0ms (4.6% of total)
ival-sub: 20.0ms (2.3% of total)
ival-exp: 19.0ms (2.2% of total)
ival-acos: 19.0ms (2.2% of total)
const: 6.0ms (0.7% of total)
ival-neg: 6.0ms (0.7% of total)

end0.0ms (0%)

Profiling

Loading profile data...