Herbie run

Date:Friday, April 19th, 2024
Commit:0226cf0a on fix-register-compiler
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 4.5min)

sample1.1min (25.7%)

Results
19.6s110599×0valid
26.7s47363×1valid
8.9s16217×5exit
3.1s7158×2valid
530.0ms3939×0invalid
137.0ms1353×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 48.4s
ival-tan: 9.8s (20.3% of total)
backward-pass: 7.9s (16.3% of total)
ival-<=: 6.8s (14% of total)
ival-cos: 3.9s (8% of total)
ival-pow: 2.5s (5.2% of total)
ival-mult: 2.1s (4.3% of total)
ival-sin: 2.0s (4.2% of total)
ival-add: 2.0s (4.1% of total)
ival-log: 1.9s (3.9% of total)
ival-exp: 1.4s (2.8% of total)
ival-sqrt: 1.4s (2.8% of total)
ival-acos: 1.2s (2.5% of total)
ival-div: 1.1s (2.3% of total)
ival-==: 1.1s (2.3% of total)
ival-fmod: 965.0ms (2% of total)
ival-sub: 820.0ms (1.7% of total)
ival-sinh: 496.0ms (1% of total)
const: 267.0ms (0.6% of total)
ival-neg: 249.0ms (0.5% of total)
ival-and: 127.0ms (0.3% of total)
ival-atan: 125.0ms (0.3% of total)
ival-<: 113.0ms (0.2% of total)
ival-or: 55.0ms (0.1% of total)
ival->=: 50.0ms (0.1% of total)
ival->: 31.0ms (0.1% of total)
Bogosity

simplify43.0s (16%)

Algorithm
87×egg-herbie
Rules
21378×fma-define
17321×fma-neg
14876×times-frac
14851×*-commutative
14681×distribute-lft-in
Stop Event
23×saturated
56×node limit
8×unsound
Counts
33022 → 29081

localize38.3s (14.3%)

Algorithm
220×egg-herbie
Rules
38742×fma-define
38461×fma-neg
33999×associate-+r-
16818×sub-neg
12402×unsub-neg
Stop Event
187×saturated
33×node limit
Results
2.7s11473×0valid
5.8s4616×1valid
3.5s1130×2valid
129.0ms299×0invalid
51.0ms195×0unsamplable
2.3s194×5exit
130.0ms13×3valid
Compiler

Compiled 8330 to 1290 computations (84.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.7s
ival-log: 1.2s (11.2% of total)
ival-mult: 1.1s (10% of total)
ival-pow: 1.0s (9.5% of total)
ival-div: 930.0ms (8.7% of total)
backward-pass: 895.0ms (8.3% of total)
ival-cos: 894.0ms (8.3% of total)
ival-exp: 854.0ms (7.9% of total)
ival-cbrt: 542.0ms (5% of total)
ival-sin: 437.0ms (4.1% of total)
ival-sinh: 423.0ms (3.9% of total)
ival-sub: 398.0ms (3.7% of total)
ival-sqrt: 376.0ms (3.5% of total)
ival-fmod: 328.0ms (3.1% of total)
ival-tan: 306.0ms (2.8% of total)
ival-add: 278.0ms (2.6% of total)
ival-expm1: 204.0ms (1.9% of total)
ival-fma: 111.0ms (1% of total)
ival-log1p: 106.0ms (1% of total)
ival-asin: 92.0ms (0.9% of total)
ival-acos: 82.0ms (0.8% of total)
ival-hypot: 67.0ms (0.6% of total)
ival-neg: 55.0ms (0.5% of total)
const: 50.0ms (0.5% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-pi: 13.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)

soundness37.8s (14.1%)

Rules
19223×log1p-expm1-u
16771×fma-define
14446×expm1-log1p-u
12988×fma-neg
10543×associate-*r*
Stop Event
6×saturated
66×node limit
11×fuel
4×unsound
9×done
Compiler

Compiled 11845 to 3376 computations (71.5% saved)

prune22.4s (8.4%)

Counts
47811 → 1855
Compiler

Compiled 64959 to 35659 computations (45.1% saved)

rewrite17.0s (6.3%)

Algorithm
67×batch-egg-rewrite
Rules
37741×log1p-expm1-u
27337×expm1-log1p-u
16040×pow1
15400×add-exp-log
14984×add-log-exp
Stop Event
67×node limit
Counts
635 → 21841

eval12.4s (4.6%)

Compiler

Compiled 1066682 to 160800 computations (84.9% saved)

regimes10.5s (3.9%)

Counts
4258 → 183
Calls

53 calls:

1.8s
a
1.8s
x
815.0ms
r
680.0ms
z
573.0ms
(tan.f64 a)
Compiler

Compiled 1999 to 1424 computations (28.8% saved)

series4.4s (1.7%)

Counts
635 → 11181
Calls

2760 calls:

TimeVariablePointExpression
316.0ms
s
@inf
(/ (/ (cos (* x -2)) (pow c 2)) (* (pow s 2) (pow x 2)))
244.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
109.0ms
x
@0
(cbrt (exp (cos x)))
61.0ms
x
@-inf
(log (cbrt (pow (exp (acos (- 1 x))) 2)))
61.0ms
x
@inf
(pow (* x (cbrt -1/6)) 3)

analyze4.2s (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 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-exp: 271.0ms (13.9% of total)
ival-<=: 250.0ms (12.8% of total)
ival-sqrt: 191.0ms (9.8% of total)
ival-fmod: 190.0ms (9.7% of total)
ival-pow: 182.0ms (9.3% of total)
ival-tan: 152.0ms (7.8% of total)
ival-sin: 132.0ms (6.8% of total)
ival-mult: 125.0ms (6.4% of total)
ival-add: 103.0ms (5.3% of total)
ival-cos: 68.0ms (3.5% of total)
ival-div: 48.0ms (2.5% of total)
ival-and: 45.0ms (2.3% of total)
ival-sub: 39.0ms (2% of total)
const: 32.0ms (1.6% of total)
ival-==: 27.0ms (1.4% of total)
ival-or: 23.0ms (1.2% of total)
ival-neg: 22.0ms (1.1% of total)
ival-log: 21.0ms (1.1% of total)
ival-sinh: 12.0ms (0.6% of total)
backward-pass: 8.0ms (0.4% of total)
ival-<: 4.0ms (0.2% 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)

preprocess4.1s (1.5%)

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 6530 to 3168 computations (51.5% saved)

explain3.2s (1.2%)

Results
740.0ms6708×0valid
759.0ms3022×1valid
168.0ms412×2valid
594.0ms98×5exit
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-cos: 538.0ms (35.3% of total)
backward-pass: 150.0ms (9.9% of total)
ival-fmod: 115.0ms (7.6% of total)
ival-mult: 97.0ms (6.4% of total)
ival-pow: 88.0ms (5.8% of total)
ival-sin: 87.0ms (5.7% of total)
ival-sqrt: 76.0ms (5% of total)
ival-log: 73.0ms (4.8% of total)
ival-tan: 70.0ms (4.6% of total)
ival-exp: 52.0ms (3.4% of total)
ival-add: 41.0ms (2.7% of total)
ival-sub: 36.0ms (2.4% of total)
ival-div: 36.0ms (2.4% of total)
ival-acos: 24.0ms (1.6% of total)
ival-sinh: 18.0ms (1.2% of total)
const: 13.0ms (0.9% of total)
ival-neg: 7.0ms (0.5% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.7s (0.6%)

Algorithm
11×left-value
42×binary-search
Stop Event
6×predicate-same
36×narrow-enough
Results
427.0ms2657×0valid
731.0ms2319×1valid
104.0ms192×2valid
3.0ms30×0unsamplable
Compiler

Compiled 8299 to 5912 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 951.0ms
ival-tan: 178.0ms (18.7% of total)
ival-sin: 160.0ms (16.8% of total)
ival-pow: 151.0ms (15.9% of total)
ival-add: 112.0ms (11.8% of total)
ival-exp: 79.0ms (8.3% of total)
ival-cos: 67.0ms (7% of total)
backward-pass: 62.0ms (6.5% of total)
ival-mult: 44.0ms (4.6% of total)
ival-fmod: 26.0ms (2.7% of total)
ival-div: 20.0ms (2.1% of total)
ival-sub: 17.0ms (1.8% of total)
ival-sqrt: 16.0ms (1.7% of total)
ival-neg: 10.0ms (1.1% of total)
const: 5.0ms (0.5% of total)
ival-acos: 4.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...