Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 3.6min)

sample1.1min (29.4%)

Results
14.7s110846×0valid
19.7s54274×1valid
11.1s16514×5exit
393.0ms3849×0invalid
143.0ms1378×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 31.9s
ival-==: 3.6s (11.4% of total)
ival-cos: 3.5s (11.1% of total)
ival-pow: 3.3s (10.3% of total)
backward-pass: 3.2s (10% of total)
ival-mult: 2.4s (7.5% of total)
ival-exp: 1.8s (5.7% of total)
ival-<=: 1.8s (5.6% of total)
ival-sqrt: 1.5s (4.8% of total)
ival-sin: 1.3s (4.2% of total)
ival-div: 1.3s (4.1% of total)
ival-log: 1.3s (4.1% of total)
ival-tan: 978.0ms (3.1% of total)
ival-fmod: 959.0ms (3% of total)
ival-sinh: 932.0ms (2.9% of total)
ival-sub: 836.0ms (2.6% of total)
ival-add: 782.0ms (2.5% of total)
ival-acos: 687.0ms (2.2% of total)
ival-neg: 508.0ms (1.6% of total)
const: 464.0ms (1.5% of total)
ival-and: 191.0ms (0.6% of total)
ival-<: 167.0ms (0.5% of total)
ival-or: 79.0ms (0.2% of total)
ival-atan: 59.0ms (0.2% of total)
ival->=: 43.0ms (0.1% of total)
ival->: 35.0ms (0.1% of total)
Bogosity

localize45.4s (20.9%)

Results
5.4s10549×256valid
15.9s2039×2048valid
3.7s1802×1024valid
1.4s976×512valid
11.8s858×8192exit
382.0ms565×256invalid
275.0ms340×256unsamplable
31.0ms15×1024invalid
11.0ms8×512invalid
Compiler

Compiled 9700 to 4992 computations (48.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.9s
ival-pow: 6.5s (19.1% of total)
ival-mult: 4.1s (12% of total)
ival-log: 4.0s (11.8% of total)
ival-exp: 3.0s (8.8% of total)
ival-asin: 2.2s (6.6% of total)
ival-cos: 2.1s (6.1% of total)
ival-acos: 1.8s (5.3% of total)
ival-sub: 1.6s (4.8% of total)
<compiled-spec>: 1.3s (4% of total)
ival-add: 1.2s (3.6% of total)
ival-fmod: 1.2s (3.5% of total)
ival-div: 1.2s (3.5% of total)
ival-sin: 1.1s (3.3% of total)
ival-sqrt: 808.0ms (2.4% of total)
ival-cbrt: 578.0ms (1.7% of total)
const: 486.0ms (1.4% of total)
ival-tan: 280.0ms (0.8% of total)
ival-neg: 141.0ms (0.4% of total)
ival-e: 133.0ms (0.4% of total)
ival-sinh: 88.0ms (0.3% of total)
ival-pi: 13.0ms (0% of total)
ival-atan: 7.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)

soundness24.1s (11.1%)

Rules
16224×log1p-expm1-u
13837×fma-define
13768×expm1-log1p-u
11067×fma-neg
10613×associate-*r*
Stop Event
6×saturated
58×node limit
11×fuel
4×unsound
9×done
Compiler

Compiled 12292 to 5745 computations (53.3% saved)

prune18.0s (8.3%)

Counts
38318 → 1731
Compiler

Compiled 62379 to 39201 computations (37.2% saved)

simplify17.3s (7.9%)

Algorithm
84×egg-herbie
Rules
21085×fma-define
18907×fma-neg
16133×distribute-lft-in
14685×*-commutative
14561×distribute-rgt-in
Stop Event
20×saturated
58×node limit
6×unsound
Counts
27210 → 22492

rewrite12.7s (5.8%)

Algorithm
64×batch-egg-rewrite
Rules
33819×log1p-expm1-u
28201×expm1-log1p-u
15185×pow1
13930×add-exp-log
13713×add-log-exp
Stop Event
64×node limit
Counts
504 → 17853

eval12.3s (5.7%)

Compiler

Compiled 904154 to 535534 computations (40.8% saved)

regimes6.7s (3.1%)

Counts
2878 → 132
Calls

55 calls:

1.2s
a
881.0ms
x
762.0ms
r
644.0ms
b
230.0ms
lo
Compiler

Compiled 1646 to 1172 computations (28.8% saved)

series5.1s (2.4%)

Counts
504 → 9357
Calls

2220 calls:

TimeVariablePointExpression
278.0ms
r
@-inf
(log (/ 1 (pow (exp r) (sin b))))
204.0ms
b
@inf
(log (/ 1 (pow (exp r) (sin b))))
148.0ms
x
@-inf
(log (/ x (sinh x)))
128.0ms
a
@inf
(* (/ 1 (cos (+ b a))) (log (/ 1 (pow (exp r) (sin b)))))
117.0ms
x
@0
(* (pow 2 1/4) x)

preprocess4.5s (2.1%)

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 6160 to 3778 computations (38.7% saved)

analyze3.6s (1.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 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-add: 324.0ms (20.7% of total)
ival-<=: 269.0ms (17.1% of total)
ival-sin: 126.0ms (8% of total)
ival-tan: 124.0ms (7.9% of total)
ival-mult: 122.0ms (7.8% of total)
ival-pow: 121.0ms (7.7% of total)
ival-cos: 70.0ms (4.5% of total)
ival-fmod: 52.0ms (3.3% of total)
ival-exp: 50.0ms (3.2% of total)
ival-div: 47.0ms (3% of total)
ival-and: 43.0ms (2.7% of total)
const: 42.0ms (2.7% of total)
ival-sub: 39.0ms (2.5% of total)
ival-==: 31.0ms (2% of total)
ival-sqrt: 23.0ms (1.5% of total)
ival-log: 23.0ms (1.5% of total)
ival-or: 22.0ms (1.4% of total)
ival-neg: 18.0ms (1.1% of total)
ival-sinh: 11.0ms (0.7% of total)
ival-<: 5.0ms (0.3% of total)
ival->: 3.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

explain3.3s (1.5%)

Results
815.0ms7344×256valid
552.0ms1514×1024valid
182.0ms918×512valid
289.0ms372×2048valid
260.0ms92×8192exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 286.0ms (20.8% of total)
ival-log: 161.0ms (11.7% of total)
ival-mult: 139.0ms (10.1% of total)
ival-pow: 108.0ms (7.8% of total)
ival-sin: 104.0ms (7.5% of total)
ival-sqrt: 86.0ms (6.2% of total)
ival-exp: 79.0ms (5.7% of total)
ival-sinh: 69.0ms (5% of total)
ival-add: 67.0ms (4.9% of total)
ival-sub: 62.0ms (4.5% of total)
ival-tan: 49.0ms (3.6% of total)
ival-fmod: 45.0ms (3.3% of total)
ival-acos: 43.0ms (3.1% of total)
ival-div: 39.0ms (2.8% of total)
const: 25.0ms (1.8% of total)
ival-neg: 12.0ms (0.9% of total)
ival-atan: 5.0ms (0.4% of total)

bsearch618.0ms (0.3%)

Algorithm
19×binary-search
2×left-value
Stop Event
19×narrow-enough
Results
249.0ms953×0valid
270.0ms951×1valid
Compiler

Compiled 3072 to 2194 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 277.0ms
ival-add: 61.0ms (22% of total)
ival-sin: 60.0ms (21.6% of total)
ival-cos: 49.0ms (17.7% of total)
ival-div: 27.0ms (9.7% of total)
ival-mult: 25.0ms (9% of total)
backward-pass: 22.0ms (7.9% of total)
ival-tan: 11.0ms (4% of total)
ival-pow: 7.0ms (2.5% of total)
ival-acos: 7.0ms (2.5% of total)
ival-sub: 4.0ms (1.4% of total)
const: 3.0ms (1.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...