Herbie run

Date:Tuesday, March 26th, 2024
Commit:79027280 on main
Hostname:nightly with Racket 8.11.1
Seed:2024086
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: 11.2min)

sample2.6min (23.3%)

Results
45.1s176118×0valid
15.9s66103×0invalid
10.5s42437×0infinite
15.9s23533×1valid
17.4s12063×5exit
6.3s9739×1invalid
5.0s5348×3valid
4.6s5214×2valid
731.0ms1068×1infinite
1.4s806×4valid
816.0ms785×2infinite
1.3s621×3infinite
247.0ms339×2invalid
44.0ms209×0unsamplable
10.0ms6×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-mult: 22.7s (24.2% of total)
ival-div: 15.8s (16.8% of total)
ival-pow: 9.4s (10% of total)
backward-pass: 7.7s (8.2% of total)
ival-sub: 6.2s (6.7% of total)
ival-add: 5.7s (6.1% of total)
ival-sqrt: 5.4s (5.8% of total)
composed: 4.5s (4.8% of total)
ival-exp: 3.3s (3.6% of total)
ival-tan: 2.9s (3.1% of total)
ival-sin: 2.8s (3% of total)
const: 1.9s (2% of total)
ival-cos: 1.4s (1.4% of total)
ival-neg: 1.2s (1.3% of total)
ival-pi: 875.0ms (0.9% of total)
ival-acos: 751.0ms (0.8% of total)
ival-log: 453.0ms (0.5% of total)
ival-asin: 289.0ms (0.3% of total)
ival-fabs: 231.0ms (0.2% of total)
ival-<: 121.0ms (0.1% of total)
ival-and: 18.0ms (0% of total)
Bogosity

localize2.1min (19%)

Results
29.1s18428×256valid
8.8s3749×256invalid
4.7s3285×256infinite
12.3s1556×1024valid
11.4s1149×2048valid
20.4s1104×8192exit
4.0s778×512valid
683.0ms457×256unsamplable
6.1s239×4096valid
524.0ms73×1024infinite
122.0ms48×2048unsamplable
204.0ms39×512infinite
47.0ms26×1024unsamplable
179.0ms22×8192valid
133.0ms12×2048infinite
11.0ms10×512unsamplable
3.0ms1×4096unsamplable
Compiler

Compiled 38124 to 18830 computations (50.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-mult: 17.5s (19.2% of total)
ival-pow: 15.2s (16.6% of total)
composed: 10.6s (11.6% of total)
ival-div: 9.8s (10.7% of total)
ival-tan: 7.6s (8.3% of total)
ival-add: 6.0s (6.5% of total)
ival-log: 5.2s (5.7% of total)
ival-sub: 4.4s (4.8% of total)
ival-cos: 3.4s (3.8% of total)
ival-sqrt: 3.0s (3.3% of total)
ival-exp: 2.9s (3.1% of total)
const: 1.6s (1.8% of total)
ival-sin: 1.4s (1.6% of total)
ival-acos: 1.3s (1.4% of total)
ival-neg: 553.0ms (0.6% of total)
ival-asin: 369.0ms (0.4% of total)
ival-cbrt: 369.0ms (0.4% of total)
ival-pi: 76.0ms (0.1% of total)
ival-fabs: 17.0ms (0% of total)

eval1.3min (11.9%)

Compiler

Compiled 2985809 to 1831501 computations (38.7% saved)

simplify1.0min (9.3%)

Algorithm
151×egg-herbie
Rules
50578×fma-define
39287×times-frac
38168×*-commutative
34765×associate-*r*
31283×distribute-lft-in
Stop Event
31×saturated
120×node limit
Counts
69549 → 57872

soundness57.9s (8.6%)

Rules
56066×fma-define
47607×log1p-expm1-u
41516×times-frac
38691×associate-*r*
32592×expm1-log1p-u
Stop Event
7×saturated
174×node limit
27×fuel
1×unsound
4×done
Compiler

Compiled 44143 to 26111 computations (40.8% saved)

regimes40.6s (6%)

Counts
10153 → 725
Calls

152 calls:

4.6s
l
3.8s
t
1.9s
KbT
1.9s
k
1.4s
mu
Compiler

Compiled 7832 to 6003 computations (23.4% saved)

prune32.4s (4.8%)

Counts
88495 → 3107
Compiler

Compiled 148394 to 102898 computations (30.7% saved)

rewrite31.8s (4.7%)

Algorithm
120×batch-egg-rewrite
Rules
73037×log1p-expm1-u
51387×expm1-log1p-u
29599×add-exp-log
29256×pow1
29228×add-log-exp
Stop Event
119×node limit
1×unsound
Counts
1269 → 35976

bsearch21.5s (3.2%)

Algorithm
336×binary-search
75×left-value
Stop Event
12×predicate-same
324×narrow-enough
Results
9.0s30821×0valid
3.0s10113×0invalid
3.1s8807×0infinite
555.0ms714×1valid
364.0ms326×2valid
164.0ms150×3infinite
62.0ms110×1infinite
64.0ms82×2infinite
25.0ms69×1invalid
50.0ms46×3valid
8.0ms14×2invalid
3.0ms2×5exit
Compiler

Compiled 115706 to 86283 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-pow: 3.0s (26.9% of total)
ival-mult: 2.5s (22.3% of total)
ival-div: 2.4s (21.3% of total)
ival-add: 778.0ms (7% of total)
ival-sub: 591.0ms (5.3% of total)
ival-sin: 418.0ms (3.8% of total)
ival-tan: 343.0ms (3.1% of total)
backward-pass: 313.0ms (2.8% of total)
const: 231.0ms (2.1% of total)
ival-neg: 183.0ms (1.7% of total)
ival-exp: 169.0ms (1.5% of total)
ival-sqrt: 128.0ms (1.2% of total)
ival-cos: 101.0ms (0.9% of total)
ival-pi: 2.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)

explain18.0s (2.7%)

Results
6.0s10856×256valid
1.4s2606×256infinite
1.7s838×1024valid
1.8s688×2048valid
573.0ms428×512valid
1.3s238×4096valid
91.0ms52×1024infinite
164.0ms52×4096infinite
120.0ms46×2048infinite
86.0ms40×8192valid
50.0ms26×512infinite
4.0ms2×8192exit
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-mult: 2.2s (21.7% of total)
ival-div: 1.7s (16.9% of total)
ival-pow: 1.2s (12.3% of total)
ival-tan: 1.1s (11% of total)
ival-add: 1.1s (10.6% of total)
ival-exp: 563.0ms (5.6% of total)
ival-sub: 536.0ms (5.3% of total)
ival-sqrt: 361.0ms (3.6% of total)
ival-cos: 330.0ms (3.3% of total)
ival-sin: 253.0ms (2.5% of total)
const: 234.0ms (2.3% of total)
composed: 194.0ms (1.9% of total)
ival-neg: 143.0ms (1.4% of total)
ival-log: 84.0ms (0.8% of total)
ival-acos: 46.0ms (0.5% of total)
ival-pi: 25.0ms (0.2% of total)
ival-asin: 11.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)

preprocess15.0s (2.2%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 45152 to 27188 computations (39.8% saved)

series14.4s (2.1%)

Counts
1269 → 33573
Calls

8808 calls:

TimeVariablePointExpression
445.0ms
K
@inf
(cbrt (* J (* (* -2 (cos (* K 1/2))) (sqrt (+ (* 1 1) (* (* U (/ (/ 1/2 J) (cos (* K 1/2)))) (* U (/ (/ 1/2 J) (cos (* K 1/2))))))))))
414.0ms
t
@0
(log (/ (pow t 3) l))
164.0ms
l
@inf
(/ t (sqrt (+ (* (* (sqrt (+ (* l l) (* (* t (sqrt 2)) (* t (sqrt 2))))) (sqrt (/ (+ x 1) (+ x -1)))) (* (sqrt (+ (* l l) (* (* t (sqrt 2)) (* t (sqrt 2))))) (sqrt (/ (+ x 1) (+ x -1))))) (* l l))))
132.0ms
th
@inf
(/ (/ (cos th) (pow 2 1/4)) (pow 2 1/4))
89.0ms
t
@-inf
(log (/ (pow t 3) l))

analyze14.0s (2.1%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50%44%43.9%1.8%0%9.4%0.9%9
51.1%44.8%42.8%1.8%0%9.6%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.7%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-mult: 2.5s (30.6% of total)
ival-pow: 1.6s (19.8% of total)
ival-div: 1.3s (16.1% of total)
ival-add: 571.0ms (7.1% of total)
ival-sqrt: 553.0ms (6.9% of total)
ival-sub: 360.0ms (4.5% of total)
ival-sin: 255.0ms (3.2% of total)
ival-tan: 177.0ms (2.2% of total)
const: 157.0ms (2% of total)
ival-<: 146.0ms (1.8% of total)
ival-neg: 114.0ms (1.4% of total)
ival-fabs: 96.0ms (1.2% of total)
ival-exp: 88.0ms (1.1% of total)
ival-acos: 69.0ms (0.9% of total)
ival-pi: 40.0ms (0.5% of total)
ival-cos: 28.0ms (0.3% of total)
ival-asin: 23.0ms (0.3% of total)
ival-log: 15.0ms (0.2% of total)
ival-and: 5.0ms (0.1% of total)
composed: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...