Herbie run

Date:Saturday, May 18th, 2024
Commit:fffc84a6 on zane-better-job-hash
Hostname:nightly with Racket 8.11.1
Seed:2024139
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.1min)

sample59.7s (32%)

Results
19.4s16232×5exit
15.2s48727×1valid
11.2s109103×0valid
3.0s7290×2valid
562.0ms3934×0invalid
142.0ms1360×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 38.6s
ival-exp: 6.9s (17.8% of total)
ival-pow: 6.4s (16.5% of total)
backward-pass: 3.8s (9.8% of total)
ival-cos: 3.6s (9.3% of total)
...c/correct-round.rkt:121:19: 3.1s (7.9% of total)
ival-mult: 2.3s (6% of total)
ival-log: 1.7s (4.3% of total)
ival-div: 1.5s (3.9% of total)
ival-sqrt: 1.4s (3.5% of total)
ival-tan: 1.3s (3.5% of total)
ival-add: 1.2s (3.1% of total)
ival-<=: 1.1s (3% of total)
ival-sub: 1.0s (2.6% of total)
ival-fmod: 821.0ms (2.1% of total)
ival-sin: 680.0ms (1.8% of total)
ival-acos: 516.0ms (1.3% of total)
ival-sinh: 321.0ms (0.8% of total)
const: 207.0ms (0.5% of total)
ival-neg: 183.0ms (0.5% of total)
ival-and: 146.0ms (0.4% of total)
ival-==: 133.0ms (0.3% of total)
ival-<: 109.0ms (0.3% of total)
ival-or: 63.0ms (0.2% of total)
ival->=: 60.0ms (0.2% of total)
ival-atan: 59.0ms (0.2% of total)
ival->: 35.0ms (0.1% of total)
Bogosity

simplify27.4s (14.7%)

Algorithm
147×egg-herbie
Rules
42458×fma-define
39340×fma-neg
25859×distribute-lft-in
21448×times-frac
21296×distribute-rgt-in
Stop Event
60×saturated
82×node limit
5×unsound
Counts
32968 → 28374

localize21.4s (11.5%)

Results
7.3s454×5exit
4.2s3852×1valid
3.8s10697×0valid
2.0s632×2valid
281.0ms607×0invalid
104.0ms142×0unsamplable
Compiler

Compiled 9302 to 1361 computations (85.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
ival-pow: 4.6s (34.5% of total)
ival-mult: 1.2s (8.7% of total)
ival-log: 955.0ms (7.2% of total)
backward-pass: 943.0ms (7.1% of total)
ival-add: 797.0ms (6% of total)
ival-exp: 744.0ms (5.6% of total)
ival-cos: 609.0ms (4.6% of total)
ival-div: 458.0ms (3.5% of total)
ival-sqrt: 400.0ms (3% of total)
...c/correct-round.rkt:121:19: 390.0ms (2.9% of total)
ival-fmod: 370.0ms (2.8% of total)
ival-sub: 358.0ms (2.7% of total)
ival-tan: 290.0ms (2.2% of total)
ival-hypot: 250.0ms (1.9% of total)
ival-sin: 171.0ms (1.3% of total)
ival-cbrt: 145.0ms (1.1% of total)
ival-fma: 131.0ms (1% of total)
ival-acos: 96.0ms (0.7% of total)
ival-e: 68.0ms (0.5% of total)
ival-asin: 66.0ms (0.5% of total)
ival-expm1: 62.0ms (0.5% of total)
ival-log1p: 58.0ms (0.4% of total)
ival-neg: 55.0ms (0.4% of total)
const: 40.0ms (0.3% of total)
ival-sinh: 36.0ms (0.3% of total)
ival-pi: 8.0ms (0.1% of total)
ival-fabs: 6.0ms (0% of total)
ival-atan: 6.0ms (0% of total)

soundness18.2s (9.8%)

Rules
16352×fma-define
15697×log1p-expm1-u
14473×fma-neg
10671×expm1-log1p-u
10602×associate-*r*
Stop Event
6×saturated
57×node limit
10×fuel
2×unsound
10×done
Compiler

Compiled 10789 to 3322 computations (69.2% saved)

rewrite15.5s (8.3%)

Algorithm
63×batch-egg-rewrite
Rules
34041×log1p-expm1-u
27887×expm1-log1p-u
14435×pow1
13379×add-exp-log
13172×add-log-exp
Stop Event
63×node limit
Counts
646 → 21877

prune11.0s (5.9%)

Counts
45890 → 1786
Compiler

Compiled 63069 to 34458 computations (45.4% saved)

eval8.3s (4.4%)

Compiler

Compiled 998278 to 155663 computations (84.4% saved)

regimes7.9s (4.2%)

Counts
4063 → 166
Calls

55 calls:

1.2s
a
800.0ms
b
670.0ms
r
664.0ms
x
367.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1714 to 1210 computations (29.4% saved)

analyze5.3s (2.8%)

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.4s
...c/correct-round.rkt:121:19: 1.8s (52% of total)
ival-<=: 485.0ms (14.3% of total)
ival-mult: 203.0ms (6% of total)
ival-tan: 132.0ms (3.9% of total)
ival-add: 124.0ms (3.7% of total)
ival-pow: 111.0ms (3.3% of total)
ival-sin: 109.0ms (3.2% of total)
ival-cos: 69.0ms (2% of total)
ival-and: 56.0ms (1.7% of total)
ival-div: 48.0ms (1.4% of total)
ival-fmod: 48.0ms (1.4% of total)
ival-exp: 46.0ms (1.4% of total)
ival-sub: 40.0ms (1.2% of total)
ival-or: 30.0ms (0.9% of total)
ival-==: 30.0ms (0.9% of total)
ival-sqrt: 22.0ms (0.6% of total)
ival-neg: 19.0ms (0.6% of total)
ival-log: 18.0ms (0.5% of total)
const: 13.0ms (0.4% of total)
ival-sinh: 11.0ms (0.3% of total)
backward-pass: 6.0ms (0.2% of total)
ival-<: 5.0ms (0.1% of total)
ival->: 3.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)

series4.5s (2.4%)

Counts
646 → 11091
Calls

2676 calls:

TimeVariablePointExpression
268.0ms
r
@-inf
(log (* r (/ (sin b) (cos a))))
110.0ms
x
@inf
(pow (- (tan (+ y z)) (- (tan a) x)) 3)
103.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
102.0ms
a
@0
(/ (pow (+ a (* -1 a)) 2) (pow a 2))
84.0ms
x
@-inf
(+ (log (cbrt (pow (exp (acos (- 1 x))) 2))) (log (cbrt (exp (acos (- 1 x))))))

preprocess3.6s (2%)

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 7494 to 3468 computations (53.7% saved)

explain2.5s (1.3%)

Results
714.0ms2992×1valid
607.0ms6716×0valid
349.0ms90×5exit
157.0ms442×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-cos: 342.0ms (30.3% of total)
ival-tan: 108.0ms (9.6% of total)
ival-mult: 87.0ms (7.7% of total)
backward-pass: 80.0ms (7.1% of total)
ival-pow: 74.0ms (6.6% of total)
ival-sqrt: 66.0ms (5.9% of total)
ival-log: 63.0ms (5.6% of total)
ival-exp: 52.0ms (4.6% of total)
ival-add: 45.0ms (4% of total)
ival-sub: 43.0ms (3.8% of total)
ival-sin: 38.0ms (3.4% of total)
ival-fmod: 36.0ms (3.2% of total)
ival-div: 34.0ms (3% of total)
ival-acos: 22.0ms (2% of total)
ival-sinh: 18.0ms (1.6% of total)
const: 12.0ms (1.1% of total)
ival-neg: 6.0ms (0.5% of total)
ival-atan: 3.0ms (0.3% of total)

bsearch1.2s (0.6%)

Algorithm
35×binary-search
15×left-value
Stop Event
1×predicate-same
32×narrow-enough
2×predicate-failed
Results
558.0ms1598×1valid
371.0ms2562×0valid
30.0ms202×0invalid
15.0ms32×2valid
Compiler

Compiled 6985 to 4901 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 798.0ms
ival-mult: 450.0ms (56.4% of total)
ival-cos: 79.0ms (9.9% of total)
ival-pow: 59.0ms (7.4% of total)
ival-exp: 46.0ms (5.8% of total)
ival-sin: 41.0ms (5.1% of total)
ival-add: 23.0ms (2.9% of total)
backward-pass: 22.0ms (2.8% of total)
ival-div: 20.0ms (2.5% of total)
ival-fmod: 14.0ms (1.8% of total)
ival-acos: 13.0ms (1.6% of total)
ival-neg: 9.0ms (1.1% of total)
ival-tan: 8.0ms (1% of total)
ival-sub: 6.0ms (0.8% of total)
const: 5.0ms (0.6% of total)
ival-sqrt: 4.0ms (0.5% of total)

end0.0ms (0%)

Profiling

Loading profile data...