Herbie run

Date:Sunday, March 17th, 2024
Commit:614f1775 on main
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.9min)

sample1.2min (31.6%)

Results
15.4s115932×256valid
8.2s23445×512valid
28.1s16391×8192exit
5.7s15891×1024valid
934.0ms5086×256infinite
4.3s4762×2048valid
457.0ms4012×256invalid
191.0ms1358×256unsamplable
1.0ms4×512infinite
Precisions
Click to see histograms. Total time spent on operations: 46.4s
Operation ival-pow, time spent: 12.4s, 27.0% of total-time
Operation ival-exp, time spent: 7.3s, 16.0% of total-time
Operation ival-log, time spent: 5.8s, 13.0% of total-time
Operation ival-cos, time spent: 3.3s, 7.0% of total-time
Operation ival-mult, time spent: 3.2s, 7.0% of total-time
Operation ival-<=, time spent: 1.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 4.0% of total-time
Operation ival-sinh, time spent: 1.5s, 3.0% of total-time
Operation ival-sin, time spent: 1.4s, 3.0% of total-time
Operation ival-div, time spent: 1.3s, 3.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-add, time spent: 1.1s, 2.0% of total-time
Operation ival-sub, time spent: 1.1s, 2.0% of total-time
Operation ival-fmod, time spent: 784.0ms, 2.0% of total-time
Operation ival-acos, time spent: 657.0ms, 1.0% of total-time
Operation ival-neg, time spent: 628.0ms, 1.0% of total-time
Operation const, time spent: 547.0ms, 1.0% of total-time
Operation ival-and, time spent: 217.0ms, 0.0% of total-time
Operation ival-<, time spent: 213.0ms, 0.0% of total-time
Operation ival-==, time spent: 167.0ms, 0.0% of total-time
Operation ival-atan, time spent: 125.0ms, 0.0% of total-time
Operation ival-or, time spent: 86.0ms, 0.0% of total-time
Operation ival->=, time spent: 51.0ms, 0.0% of total-time
Operation ival->, time spent: 34.0ms, 0.0% of total-time
Bogosity

localize39.8s (17.1%)

Results
5.1s9499×256valid
3.1s1843×512valid
14.8s1753×2048valid
4.3s1436×1024valid
403.0ms430×256invalid
4.8s419×8192exit
383.0ms345×256infinite
435.0ms271×512invalid
71.0ms130×256unsamplable
4.0ms2×512infinite
Compiler

Compiled 9045 to 4398 computations (51.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 29.0s
Operation ival-pow, time spent: 7.3s, 25.0% of total-time
Operation ival-mult, time spent: 3.9s, 14.0% of total-time
Operation ival-log, time spent: 3.0s, 10.0% of total-time
Operation composed, time spent: 2.0s, 7.0% of total-time
Operation ival-exp, time spent: 1.7s, 6.0% of total-time
Operation ival-add, time spent: 1.7s, 6.0% of total-time
Operation ival-cos, time spent: 1.3s, 5.0% of total-time
Operation ival-sub, time spent: 1.3s, 4.0% of total-time
Operation ival-asin, time spent: 1.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 4.0% of total-time
Operation ival-div, time spent: 1.0s, 3.0% of total-time
Operation ival-sin, time spent: 923.0ms, 3.0% of total-time
Operation ival-acos, time spent: 637.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 527.0ms, 2.0% of total-time
Operation const, time spent: 526.0ms, 2.0% of total-time
Operation ival-tan, time spent: 386.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 204.0ms, 1.0% of total-time
Operation ival-neg, time spent: 149.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 111.0ms, 0.0% of total-time
Operation ival-e, time spent: 44.0ms, 0.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

simplify23.3s (10%)

Algorithm
77×egg-herbie
Rules
20276×fma-define
16123×distribute-lft-in
15652×fma-neg
14307×associate-*r*
13825×*-commutative
Stop Event
20×saturated
51×node limit
11×fuel
6×unsound
9×done
Counts
25627 → 21926
Compiler

Compiled 1588 to 1084 computations (31.7% saved)

analyze20.6s (8.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 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-<=, time spent: 3.5s, 41.0% of total-time
Operation ival-tan, time spent: 1.9s, 22.0% of total-time
Operation ival-add, time spent: 645.0ms, 7.0% of total-time
Operation ival-==, time spent: 424.0ms, 5.0% of total-time
Operation ival-and, time spent: 389.0ms, 5.0% of total-time
Operation const, time spent: 313.0ms, 4.0% of total-time
Operation ival-sub, time spent: 273.0ms, 3.0% of total-time
Operation ival-or, time spent: 200.0ms, 2.0% of total-time
Operation ival-cos, time spent: 196.0ms, 2.0% of total-time
Operation ival-mult, time spent: 137.0ms, 2.0% of total-time
Operation ival-sin, time spent: 137.0ms, 2.0% of total-time
Operation ival-exp, time spent: 135.0ms, 2.0% of total-time
Operation ival-pow, time spent: 126.0ms, 1.0% of total-time
Operation ival-div, time spent: 53.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 47.0ms, 1.0% of total-time
Operation ival-log, time spent: 24.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 12.0ms, 0.0% of total-time
Operation ival->, time spent: 5.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time
Operation ival-atan, time spent: 3.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time

eval20.2s (8.7%)

Compiler

Compiled 879645 to 474164 computations (46.1% saved)

soundness16.7s (7.2%)

Rules
13765×log1p-expm1-u
12594×fma-define
10793×fma-neg
10722×expm1-log1p-u
10186×associate-*r*
Stop Event
6×saturated
49×node limit
2×unsound
Compiler

Compiled 7036 to 3908 computations (44.5% saved)

rewrite12.1s (5.2%)

Algorithm
57×batch-egg-rewrite
Rules
31059×log1p-expm1-u
25245×expm1-log1p-u
12792×add-exp-log
12788×pow1
12580×add-log-exp
Stop Event
57×node limit
Counts
471 → 16404

prune9.1s (3.9%)

Counts
37554 → 1740
Compiler

Compiled 64902 to 41929 computations (35.4% saved)

preprocess7.7s (3.3%)

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
Results
1.1s7132×256valid
435.0ms1416×512valid
377.0ms958×1024valid
158.0ms348×256infinite
279.0ms292×2048valid
166.0ms94×8192exit
Compiler

Compiled 8189 to 4632 computations (43.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-cos, time spent: 203.0ms, 14.0% of total-time
Operation ival-log, time spent: 202.0ms, 14.0% of total-time
Operation ival-mult, time spent: 164.0ms, 11.0% of total-time
Operation ival-sin, time spent: 129.0ms, 9.0% of total-time
Operation ival-exp, time spent: 128.0ms, 9.0% of total-time
Operation ival-pow, time spent: 121.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 90.0ms, 6.0% of total-time
Operation ival-add, time spent: 79.0ms, 5.0% of total-time
Operation ival-sub, time spent: 65.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 52.0ms, 4.0% of total-time
Operation ival-tan, time spent: 45.0ms, 3.0% of total-time
Operation ival-div, time spent: 42.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 37.0ms, 3.0% of total-time
Operation ival-acos, time spent: 37.0ms, 3.0% of total-time
Operation const, time spent: 35.0ms, 2.0% of total-time
Operation ival-neg, time spent: 11.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series5.1s (2.2%)

Counts
471 → 9223
Calls

2160 calls:

TimeVariablePointExpression
270.0ms
z
@-inf
(log (- (tan (+ y z)) (- (tan a) x)))
185.0ms
a
@-inf
(log (- (tan (+ y z)) (- (tan a) x)))
181.0ms
a
@inf
(log (- (tan (+ y z)) (- (tan a) x)))
172.0ms
a
@-inf
(log (/ (sin b) (cos (+ b a))))
153.0ms
x
@0
(/ (sin (+ y z)) (* x (cos (+ y z))))

regimes4.3s (1.8%)

Counts
2794 → 133
Calls

53 calls:

795.0ms
x
574.0ms
r
457.0ms
a
456.0ms
b
207.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1332 to 927 computations (30.4% saved)

bsearch537.0ms (0.2%)

Algorithm
22×binary-search
11×left-value
Stop Event
1×predicate-same
21×narrow-enough
Results
267.0ms2246×256valid
111.0ms360×512valid
20.0ms146×256infinite
Compiler

Compiled 4519 to 3353 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 223.0ms
Operation ival-sin, time spent: 58.0ms, 26.0% of total-time
Operation ival-cos, time spent: 38.0ms, 17.0% of total-time
Operation ival-pow, time spent: 34.0ms, 15.0% of total-time
Operation ival-mult, time spent: 25.0ms, 11.0% of total-time
Operation ival-exp, time spent: 21.0ms, 9.0% of total-time
Operation ival-div, time spent: 12.0ms, 5.0% of total-time
Operation ival-add, time spent: 9.0ms, 4.0% of total-time
Operation ival-acos, time spent: 8.0ms, 4.0% of total-time
Operation ival-neg, time spent: 5.0ms, 2.0% of total-time
Operation const, time spent: 4.0ms, 2.0% of total-time
Operation ival-sub, time spent: 3.0ms, 1.0% of total-time
Operation ival-log, time spent: 3.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...