Herbie run

Date:Tuesday, March 26th, 2024
Commit:79027280 on main
Hostname:nightly with Racket 8.11.1
Seed:2024086
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: 5.1min)

sample2.2min (42.7%)

Results
14.3s111962×0valid
15.9s48202×1valid
1.4min45531×5exit
1.6s13645×0invalid
922.0ms4956×0infinite
155.0ms1441×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-cos: 37.5s (38.2% of total)
ival-exp: 22.8s (23.2% of total)
backward-pass: 7.6s (7.7% of total)
ival-fmod: 5.5s (5.6% of total)
ival-pow: 4.0s (4.1% of total)
ival-mult: 3.7s (3.8% of total)
ival-sqrt: 3.7s (3.7% of total)
ival-<=: 1.8s (1.9% of total)
ival-neg: 1.5s (1.5% of total)
ival-sin: 1.5s (1.5% of total)
ival-log: 1.4s (1.5% of total)
ival-div: 1.3s (1.4% of total)
ival-sub: 1.0s (1% of total)
ival-add: 995.0ms (1% of total)
ival-sinh: 935.0ms (1% of total)
ival-tan: 746.0ms (0.8% of total)
const: 690.0ms (0.7% of total)
ival-acos: 489.0ms (0.5% of total)
ival-==: 276.0ms (0.3% of total)
ival-and: 202.0ms (0.2% of total)
ival-<: 201.0ms (0.2% of total)
ival-or: 84.0ms (0.1% of total)
ival-atan: 58.0ms (0.1% of total)
ival->=: 52.0ms (0.1% of total)
ival->: 31.0ms (0% of total)
Bogosity

localize43.5s (14.2%)

Results
7.0s10436×256valid
15.3s1618×2048valid
2.9s1397×1024valid
876.0ms1010×256invalid
8.2s1006×8192exit
877.0ms843×512valid
453.0ms298×256infinite
128.0ms208×256unsamplable
115.0ms42×1024invalid
50.0ms28×512invalid
70.0ms10×4096valid
Compiler

Compiled 9628 to 4764 computations (50.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.3s
ival-pow: 6.6s (21.7% of total)
ival-mult: 3.6s (12% of total)
ival-asin: 3.3s (10.8% of total)
ival-log: 3.0s (10% of total)
ival-sub: 1.8s (5.9% of total)
ival-acos: 1.8s (5.8% of total)
ival-div: 1.7s (5.5% of total)
ival-exp: 1.5s (5.1% of total)
ival-cos: 1.4s (4.6% of total)
composed: 1.3s (4.1% of total)
ival-add: 1.0s (3.5% of total)
ival-cbrt: 867.0ms (2.9% of total)
ival-sqrt: 692.0ms (2.3% of total)
const: 518.0ms (1.7% of total)
ival-fmod: 372.0ms (1.2% of total)
ival-sin: 328.0ms (1.1% of total)
ival-tan: 246.0ms (0.8% of total)
ival-neg: 180.0ms (0.6% of total)
ival-sinh: 60.0ms (0.2% of total)
ival-atan: 59.0ms (0.2% of total)
ival-pi: 18.0ms (0.1% of total)

eval24.7s (8%)

Compiler

Compiled 1025656 to 621973 computations (39.4% saved)

analyze20.7s (6.7%)

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: 11.3s
ival-<=: 5.5s (49.1% of total)
ival-tan: 1.6s (14% of total)
ival-add: 1.1s (9.6% of total)
ival-sub: 616.0ms (5.4% of total)
ival-and: 548.0ms (4.8% of total)
const: 390.0ms (3.4% of total)
ival-==: 373.0ms (3.3% of total)
ival-or: 262.0ms (2.3% of total)
ival-mult: 217.0ms (1.9% of total)
ival-pow: 171.0ms (1.5% of total)
ival-sin: 151.0ms (1.3% of total)
ival-exp: 81.0ms (0.7% of total)
ival-fmod: 76.0ms (0.7% of total)
ival-cos: 73.0ms (0.6% of total)
ival-div: 49.0ms (0.4% of total)
ival-log: 22.0ms (0.2% of total)
ival-neg: 22.0ms (0.2% of total)
ival-sqrt: 18.0ms (0.2% of total)
ival-sinh: 12.0ms (0.1% of total)
ival-<: 8.0ms (0.1% of total)
ival->: 3.0ms (0% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

simplify19.5s (6.4%)

Algorithm
84×egg-herbie
Rules
24734×fma-define
18636×fma-neg
15940×distribute-lft-in
15151×*-commutative
14950×distribute-rgt-in
Stop Event
20×saturated
58×node limit
6×unsound
Counts
27457 → 22405

soundness16.5s (5.4%)

Rules
16583×log1p-expm1-u
15472×fma-define
13621×expm1-log1p-u
12372×fma-neg
10431×associate-*r*
Stop Event
6×saturated
56×node limit
12×fuel
1×unsound
8×done
Compiler

Compiled 12007 to 6639 computations (44.7% saved)

rewrite13.4s (4.4%)

Algorithm
64×batch-egg-rewrite
Rules
33861×log1p-expm1-u
29232×expm1-log1p-u
14950×pow1
14424×add-exp-log
13919×add-log-exp
Stop Event
64×node limit
Counts
498 → 18174

prune11.0s (3.6%)

Counts
38325 → 1898
Compiler

Compiled 66692 to 42998 computations (35.5% saved)

regimes9.4s (3.1%)

Counts
4245 → 174
Calls

55 calls:

2.0s
b
1.5s
a
1.2s
r
736.0ms
x
599.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1843 to 1317 computations (28.5% saved)

series5.0s (1.6%)

Counts
498 → 9283
Calls

2199 calls:

TimeVariablePointExpression
249.0ms
s
@-inf
(/ (/ 1 s) c)
211.0ms
x
@0
(* (pow 2 1/4) x)
168.0ms
c
@0
(* (* (* c x) (* c x)) (pow s 2))
139.0ms
b
@inf
(log (* (sin b) r))
128.0ms
r
@-inf
(log (* (sin b) r))

bsearch4.5s (1.5%)

Algorithm
47×binary-search
8×left-value
Stop Event
3×predicate-same
35×narrow-enough
9×predicate-failed
Results
748.0ms2425×0valid
812.0ms1485×1valid
2.4s909×5exit
21.0ms90×0infinite
Compiler

Compiled 6148 to 4393 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-cos: 1.5s (44.7% of total)
ival-exp: 546.0ms (16.3% of total)
ival-sin: 512.0ms (15.3% of total)
backward-pass: 179.0ms (5.4% of total)
ival-fmod: 174.0ms (5.2% of total)
ival-mult: 100.0ms (3% of total)
ival-tan: 84.0ms (2.5% of total)
ival-add: 80.0ms (2.4% of total)
ival-sqrt: 77.0ms (2.3% of total)
ival-neg: 32.0ms (1% of total)
ival-div: 29.0ms (0.9% of total)
const: 13.0ms (0.4% of total)
ival-pow: 13.0ms (0.4% of total)
ival-sub: 10.0ms (0.3% of total)

preprocess4.4s (1.4%)

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 7804 to 4364 computations (44.1% saved)

explain3.5s (1.2%)

Results
917.0ms7086×256valid
486.0ms1262×1024valid
219.0ms826×512valid
668.0ms402×8192exit
306.0ms380×2048valid
67.0ms282×256infinite
3.0ms2×4096valid
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 531.0ms (31.7% of total)
ival-log: 171.0ms (10.2% of total)
ival-mult: 152.0ms (9.1% of total)
ival-sin: 122.0ms (7.3% of total)
ival-pow: 114.0ms (6.8% of total)
ival-sqrt: 95.0ms (5.7% of total)
ival-sub: 77.0ms (4.6% of total)
ival-add: 60.0ms (3.6% of total)
ival-exp: 57.0ms (3.4% of total)
ival-tan: 55.0ms (3.3% of total)
ival-sinh: 54.0ms (3.2% of total)
ival-div: 51.0ms (3% of total)
ival-acos: 46.0ms (2.7% of total)
ival-fmod: 42.0ms (2.5% of total)
const: 28.0ms (1.7% of total)
ival-neg: 16.0ms (1% of total)
ival-atan: 5.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...