Herbie run

Date:Tuesday, April 9th, 2024
Commit:ec545773 on artem-tuning-cleanup-128start-5ampl
Hostname:nightly with Racket 8.11.1
Seed:2024100
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.3min)

sample47.4s (24.1%)

Results
9.0s112736×0valid
14.9s52384×1valid
13.0s16369×5exit
632.0ms3944×0invalid
130.0ms1370×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 29.0s
ival-cos: 4.2s (14.5% of total)
backward-pass: 3.7s (12.8% of total)
ival-pow: 3.0s (10.3% of total)
ival-mult: 2.6s (9.1% of total)
ival-exp: 1.7s (6% of total)
ival-<=: 1.7s (5.9% of total)
ival-log: 1.4s (4.8% of total)
ival-sqrt: 1.3s (4.5% of total)
ival-fmod: 1.1s (3.9% of total)
ival-div: 1.1s (3.9% of total)
ival-sin: 1.1s (3.7% of total)
ival-tan: 939.0ms (3.2% of total)
ival-add: 904.0ms (3.1% of total)
ival-sinh: 881.0ms (3% of total)
ival-sub: 851.0ms (2.9% of total)
ival-neg: 738.0ms (2.5% of total)
const: 453.0ms (1.6% of total)
ival-acos: 403.0ms (1.4% of total)
ival-==: 235.0ms (0.8% of total)
ival-and: 197.0ms (0.7% of total)
ival-<: 172.0ms (0.6% of total)
ival-atan: 119.0ms (0.4% of total)
ival-or: 79.0ms (0.3% of total)
ival->=: 45.0ms (0.2% of total)
ival->: 31.0ms (0.1% of total)
Bogosity

localize44.5s (22.6%)

Results
7.4s11236×0valid
15.2s4599×1valid
6.6s1290×2valid
7.7s574×5exit
19.0ms107×0unsamplable
100.0ms82×0invalid
55.0ms32×1invalid
Compiler

Compiled 10259 to 5266 computations (48.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0s
ival-pow: 7.3s (26.2% of total)
backward-pass: 3.6s (13% of total)
ival-mult: 3.3s (11.9% of total)
ival-cos: 2.0s (7.2% of total)
ival-log: 1.7s (6.2% of total)
ival-sub: 1.5s (5.4% of total)
ival-div: 1.3s (4.6% of total)
ival-exp: 1.0s (3.7% of total)
ival-add: 987.0ms (3.5% of total)
ival-asin: 966.0ms (3.4% of total)
ival-sqrt: 908.0ms (3.2% of total)
ival-sin: 795.0ms (2.8% of total)
ival-fmod: 457.0ms (1.6% of total)
const: 421.0ms (1.5% of total)
ival-fma: 310.0ms (1.1% of total)
ival-acos: 301.0ms (1.1% of total)
ival-tan: 300.0ms (1.1% of total)
ival-cbrt: 220.0ms (0.8% of total)
ival-log1p: 183.0ms (0.7% of total)
ival-neg: 132.0ms (0.5% of total)
ival-sinh: 59.0ms (0.2% of total)
ival-expm1: 43.0ms (0.2% of total)
ival-hypot: 19.0ms (0.1% of total)
ival-fabs: 13.0ms (0% of total)
ival-pi: 11.0ms (0% of total)
ival-e: 9.0ms (0% of total)
ival-atan: 2.0ms (0% of total)

soundness23.5s (12%)

Rules
16555×log1p-expm1-u
16008×fma-define
15222×expm1-log1p-u
12351×associate-*r*
10407×fma-neg
Stop Event
6×saturated
57×node limit
15×fuel
3×unsound
5×done
Compiler

Compiled 9172 to 4857 computations (47% saved)

simplify19.8s (10.1%)

Algorithm
88×egg-herbie
Rules
22633×fma-define
20833×fma-neg
18476×associate-*r*
16787×*-commutative
16485×distribute-lft-in
Stop Event
20×saturated
65×node limit
3×unsound
Counts
29493 → 24456

rewrite13.7s (7%)

Algorithm
68×batch-egg-rewrite
Rules
35466×log1p-expm1-u
31083×expm1-log1p-u
15402×pow1
15081×add-exp-log
14826×add-log-exp
Stop Event
65×node limit
3×unsound
Counts
550 → 19508

eval12.9s (6.6%)

Compiler

Compiled 895381 to 521086 computations (41.8% saved)

prune9.7s (4.9%)

Counts
39394 → 1847
Compiler

Compiled 63013 to 41105 computations (34.8% saved)

analyze8.2s (4.2%)

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: 6.5s
ival-div: 4.1s (62.1% of total)
ival-mult: 1.1s (16.8% of total)
ival-tan: 334.0ms (5.1% of total)
ival-<=: 296.0ms (4.5% of total)
ival-pow: 115.0ms (1.8% of total)
ival-add: 95.0ms (1.5% of total)
ival-sin: 77.0ms (1.2% of total)
ival-cos: 68.0ms (1% of total)
ival-fmod: 53.0ms (0.8% of total)
ival-exp: 49.0ms (0.7% of total)
ival-sub: 47.0ms (0.7% of total)
ival-and: 45.0ms (0.7% of total)
const: 40.0ms (0.6% of total)
ival-==: 32.0ms (0.5% of total)
ival-sqrt: 29.0ms (0.4% of total)
ival-or: 23.0ms (0.4% of total)
ival-log: 21.0ms (0.3% of total)
ival-neg: 21.0ms (0.3% of total)
ival-sinh: 14.0ms (0.2% of total)
backward-pass: 6.0ms (0.1% of total)
ival->: 6.0ms (0.1% of total)
ival-<: 4.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)

regimes4.9s (2.5%)

Counts
3202 → 120
Calls

53 calls:

680.0ms
a
644.0ms
b
641.0ms
x
433.0ms
r
269.0ms
lo
Compiler

Compiled 1573 to 1105 computations (29.8% saved)

series4.6s (2.4%)

Counts
550 → 9985
Calls

2364 calls:

TimeVariablePointExpression
256.0ms
x
@0
(pow (E) (log (* x (sqrt 2))))
158.0ms
x
@0
(* (pow 2 1/4) x)
125.0ms
x
@0
(pow (exp 1) (log (+ (- (tan (+ y z)) (tan a)) x)))
117.0ms
x
@-inf
(pow (E) (log (* x (sqrt 2))))
90.0ms
l
@-inf
(/ (+ l (* w (* l (+ (log l) (* w (* 1/2 (+ (log l) (pow (log l) 2)))))))) (exp w))

preprocess3.3s (1.7%)

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 5356 to 3132 computations (41.5% saved)

explain3.1s (1.6%)

Results
1.1s6904×0valid
920.0ms3254×1valid
401.0ms82×5exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 333.0ms (19.1% of total)
ival-pow: 312.0ms (17.9% of total)
ival-mult: 228.0ms (13.1% of total)
backward-pass: 216.0ms (12.4% of total)
ival-sub: 118.0ms (6.8% of total)
ival-add: 107.0ms (6.1% of total)
ival-sqrt: 89.0ms (5.1% of total)
ival-sin: 63.0ms (3.6% of total)
ival-exp: 48.0ms (2.8% of total)
ival-tan: 40.0ms (2.3% of total)
ival-log: 40.0ms (2.3% of total)
ival-fmod: 35.0ms (2% of total)
ival-div: 34.0ms (2% of total)
const: 25.0ms (1.4% of total)
ival-acos: 24.0ms (1.4% of total)
ival-sinh: 15.0ms (0.9% of total)
ival-neg: 9.0ms (0.5% of total)
ival-atan: 6.0ms (0.3% of total)

bsearch930.0ms (0.5%)

Algorithm
24×binary-search
2×left-value
Stop Event
24×narrow-enough
Results
207.0ms2010×0valid
556.0ms1494×1valid
Compiler

Compiled 4769 to 3507 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 603.0ms
ival-cos: 243.0ms (40.3% of total)
ival-sin: 133.0ms (22% of total)
backward-pass: 90.0ms (14.9% of total)
ival-mult: 61.0ms (10.1% of total)
ival-div: 29.0ms (4.8% of total)
ival-add: 28.0ms (4.6% of total)
const: 5.0ms (0.8% of total)
ival-pow: 5.0ms (0.8% of total)
ival-acos: 5.0ms (0.8% of total)
ival-exp: 2.0ms (0.3% of total)
ival-sub: 1.0ms (0.2% of total)
ival-neg: 1.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...