Herbie run

Date:Tuesday, May 14th, 2024
Commit:d162cdb6 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024135
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: 4.3min)

sample53.5s (20.7%)

Results
32.3s149125×0valid
6.9s16590×3exit
4.7s13561×1valid
1.3s2434×2valid
590.0ms3930×0invalid
150.0ms1395×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 37.0s
ival-tan: 7.5s (20.3% of total)
...c/correct-round.rkt:129:19: 7.1s (19.3% of total)
ival-cos: 3.6s (9.6% of total)
ival-mult: 2.2s (6.1% of total)
ival-pow: 1.9s (5.2% of total)
ival-log: 1.7s (4.7% of total)
backward-pass: 1.5s (4.1% of total)
ival-sqrt: 1.5s (4% of total)
ival-<=: 1.4s (3.7% of total)
ival-add: 1.3s (3.4% of total)
ival-exp: 1.2s (3.3% of total)
ival-fmod: 987.0ms (2.7% of total)
ival-sin: 965.0ms (2.6% of total)
ival-sub: 860.0ms (2.3% of total)
ival-div: 801.0ms (2.2% of total)
ival-sinh: 768.0ms (2.1% of total)
ival-acos: 384.0ms (1% of total)
ival-neg: 250.0ms (0.7% of total)
const: 204.0ms (0.6% of total)
ival-<: 187.0ms (0.5% of total)
ival-==: 178.0ms (0.5% of total)
ival-and: 130.0ms (0.4% of total)
ival->=: 112.0ms (0.3% of total)
ival-atan: 99.0ms (0.3% of total)
ival-or: 62.0ms (0.2% of total)
ival->: 35.0ms (0.1% of total)
Bogosity

soundness40.6s (15.7%)

Rules
16963×log1p-expm1-u
14635×fma-define
14179×fma-neg
13600×associate-*r*
13133×expm1-log1p-u
Stop Event
6×saturated
64×node limit
13×fuel
4×unsound
7×done
Compiler

Compiled 17106 to 4179 computations (75.6% saved)

localize33.1s (12.8%)

Results
11.8s15788×0valid
4.0s653×3exit
3.0s1485×1valid
668.0ms110×2valid
267.0ms26×3valid
171.0ms114×0unsamplable
Compiler

Compiled 10164 to 1477 computations (85.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-pow: 2.7s (24.2% of total)
ival-log: 1.0s (9.4% of total)
ival-mult: 773.0ms (7% of total)
ival-cos: 773.0ms (7% of total)
ival-sub: 612.0ms (5.5% of total)
backward-pass: 607.0ms (5.5% of total)
ival-exp: 598.0ms (5.4% of total)
ival-div: 552.0ms (5% of total)
ival-tan: 495.0ms (4.5% of total)
ival-asin: 479.0ms (4.3% of total)
ival-sin: 450.0ms (4.1% of total)
ival-fmod: 406.0ms (3.7% of total)
ival-cbrt: 339.0ms (3.1% of total)
...c/correct-round.rkt:129:19: 332.0ms (3% of total)
ival-add: 294.0ms (2.7% of total)
ival-fma: 147.0ms (1.3% of total)
ival-sqrt: 127.0ms (1.2% of total)
ival-e: 75.0ms (0.7% of total)
ival-sinh: 67.0ms (0.6% of total)
ival-acos: 53.0ms (0.5% of total)
ival-neg: 51.0ms (0.5% of total)
const: 46.0ms (0.4% of total)
ival-hypot: 29.0ms (0.3% of total)
ival-log1p: 15.0ms (0.1% of total)
ival-expm1: 7.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-atan: 2.0ms (0% of total)

simplify32.5s (12.6%)

Algorithm
159×egg-herbie
Rules
39661×fma-define
35587×fma-neg
24194×associate-*r*
23207×distribute-lft-in
22840×times-frac
Stop Event
63×saturated
88×node limit
8×unsound
Counts
32872 → 29099

eval29.1s (11.3%)

Compiler

Compiled 1180623 to 164367 computations (86.1% saved)

analyze16.7s (6.5%)

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: 14.4s
...c/correct-round.rkt:129:19: 6.8s (47.1% of total)
ival-tan: 5.5s (38.5% of total)
ival-<=: 697.0ms (4.9% of total)
ival-fmod: 280.0ms (1.9% of total)
ival-add: 185.0ms (1.3% of total)
ival-pow: 129.0ms (0.9% of total)
ival-sqrt: 127.0ms (0.9% of total)
ival-mult: 120.0ms (0.8% of total)
ival-sin: 79.0ms (0.6% of total)
ival-cos: 76.0ms (0.5% of total)
ival-sub: 58.0ms (0.4% of total)
ival-and: 54.0ms (0.4% of total)
ival-div: 50.0ms (0.3% of total)
ival-exp: 47.0ms (0.3% of total)
ival-==: 39.0ms (0.3% of total)
ival-neg: 33.0ms (0.2% of total)
ival-or: 30.0ms (0.2% of total)
ival-log: 23.0ms (0.2% of total)
const: 14.0ms (0.1% of total)
ival-sinh: 12.0ms (0.1% of total)
backward-pass: 8.0ms (0.1% of total)
ival-<: 5.0ms (0% of total)
ival->: 4.0ms (0% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

prune16.2s (6.3%)

Counts
49867 → 2087
Compiler

Compiled 78752 to 41759 computations (47% saved)

rewrite15.1s (5.8%)

Algorithm
68×batch-egg-rewrite
Rules
34895×log1p-expm1-u
29496×expm1-log1p-u
16619×add-exp-log
16503×pow1
16348×add-log-exp
Stop Event
68×node limit
Counts
671 → 21565

regimes7.1s (2.7%)

Counts
4339 → 174
Calls

53 calls:

779.0ms
a
681.0ms
x
560.0ms
r
495.0ms
b
392.0ms
z
Compiler

Compiled 1799 to 1266 computations (29.6% saved)

series5.9s (2.3%)

Counts
671 → 11307
Calls

2829 calls:

TimeVariablePointExpression
283.0ms
c
@inf
(pow (sqrt (* c (* s x))) -4)
277.0ms
b
@0
(* (pow (/ (sin b) (cos (+ b a))) 3) (pow r 3))
271.0ms
y
@-inf
(+ x (- (* (+ (tan y) (tan z)) (/ 1 (- 1 (- (+ (* (tan y) (tan z)) 1) 1)))) (tan a)))
255.0ms
x
@inf
(* x (+ 1 (* x 1/2)))
168.0ms
x
@inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))

preprocess4.1s (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 6732 to 3040 computations (54.8% saved)

explain2.7s (1.1%)

Results
1.4s9160×0valid
295.0ms912×1valid
97.0ms102×3exit
32.0ms66×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-sinh: 268.0ms (22.8% of total)
ival-log: 158.0ms (13.4% of total)
ival-mult: 143.0ms (12.2% of total)
ival-tan: 115.0ms (9.8% of total)
ival-cos: 113.0ms (9.6% of total)
ival-sqrt: 51.0ms (4.3% of total)
backward-pass: 47.0ms (4% of total)
ival-sin: 46.0ms (3.9% of total)
ival-exp: 43.0ms (3.7% of total)
ival-pow: 38.0ms (3.2% of total)
ival-fmod: 30.0ms (2.6% of total)
ival-sub: 28.0ms (2.4% of total)
ival-add: 28.0ms (2.4% of total)
ival-div: 25.0ms (2.1% of total)
ival-acos: 21.0ms (1.8% of total)
const: 12.0ms (1% of total)
ival-neg: 7.0ms (0.6% of total)
ival-atan: 3.0ms (0.3% of total)

bsearch1.8s (0.7%)

Algorithm
8×left-value
40×binary-search
Stop Event
39×narrow-enough
1×predicate-failed
Results
931.0ms4425×0valid
357.0ms615×1valid
17.0ms32×2valid
11.0ms101×0invalid
Compiler

Compiled 7896 to 5579 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-sin: 264.0ms (24% of total)
ival-cos: 193.0ms (17.6% of total)
ival-tan: 166.0ms (15.1% of total)
ival-div: 150.0ms (13.7% of total)
ival-pow: 100.0ms (9.1% of total)
ival-exp: 80.0ms (7.3% of total)
ival-mult: 40.0ms (3.6% of total)
ival-add: 36.0ms (3.3% of total)
backward-pass: 22.0ms (2% of total)
ival-fmod: 16.0ms (1.5% of total)
ival-neg: 14.0ms (1.3% of total)
ival-sub: 9.0ms (0.8% of total)
ival-sqrt: 5.0ms (0.5% of total)
const: 5.0ms (0.5% of total)

end0.0ms (0%)

Profiling

Loading profile data...