Herbie run

Date:Tuesday, April 16th, 2024
Commit:7c422dd2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024107
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: 8.3min)

localize1.8min (22.1%)

Results
29.2s22980×0valid
16.2s3733×1valid
6.6s3191×0invalid
8.5s910×2valid
18.9s868×5exit
9.4s487×3valid
476.0ms328×0unsamplable
67.0ms15×4valid
Compiler

Compiled 40555 to 21366 computations (47.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 16.3s (21.6% of total)
ival-pow: 12.6s (16.7% of total)
ival-div: 8.8s (11.7% of total)
backward-pass: 7.0s (9.3% of total)
ival-add: 4.0s (5.3% of total)
ival-sqrt: 3.7s (4.9% of total)
ival-tan: 3.6s (4.7% of total)
ival-sub: 3.2s (4.2% of total)
ival-fma: 3.1s (4.1% of total)
ival-asin: 2.2s (2.9% of total)
ival-log: 1.5s (2% of total)
ival-cos: 1.4s (1.9% of total)
const: 1.4s (1.8% of total)
ival-hypot: 1.2s (1.6% of total)
ival-cbrt: 1.1s (1.5% of total)
ival-acos: 822.0ms (1.1% of total)
ival-exp: 771.0ms (1% of total)
ival-expm1: 681.0ms (0.9% of total)
ival-sin: 625.0ms (0.8% of total)
ival-log1p: 574.0ms (0.8% of total)
ival-neg: 509.0ms (0.7% of total)
ival-pi: 295.0ms (0.4% of total)
ival-atan: 41.0ms (0.1% of total)
ival-fabs: 14.0ms (0% of total)

sample1.5min (18%)

Results
45.0s250045×0valid
13.5s74284×0invalid
5.9s11962×1valid
2.4s3642×5exit
1.1s2580×1invalid
916.0ms1731×2valid
297.0ms432×3valid
31.0ms203×0unsamplable
21.0ms22×4valid
5.0ms7×2invalid
Precisions
Click to see histograms. Total time spent on operations: 53.0s
ival-mult: 14.1s (26.5% of total)
ival-div: 9.2s (17.3% of total)
ival-pow: 6.8s (12.7% of total)
ival-sub: 3.5s (6.6% of total)
ival-tan: 3.3s (6.2% of total)
ival-sqrt: 3.2s (6.1% of total)
ival-add: 2.9s (5.4% of total)
ival-sin: 2.2s (4.2% of total)
ival-exp: 1.6s (3.1% of total)
backward-pass: 1.3s (2.5% of total)
ival-neg: 1.1s (2.1% of total)
const: 1.0s (1.9% of total)
ival-cos: 1.0s (1.9% of total)
ival-acos: 448.0ms (0.8% of total)
ival-pi: 300.0ms (0.6% of total)
ival-log: 299.0ms (0.6% of total)
ival-hypot: 288.0ms (0.5% of total)
ival-asin: 223.0ms (0.4% of total)
ival-fabs: 115.0ms (0.2% of total)
ival-<: 77.0ms (0.1% of total)
ival-atan: 76.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify51.5s (10.3%)

Algorithm
158×egg-herbie
Rules
54164×fma-define
40751×*-commutative
40615×times-frac
38732×associate-*r*
33524×distribute-lft-in
Stop Event
32×saturated
125×node limit
1×unsound
Counts
72680 → 60419

soundness48.4s (9.7%)

Rules
52955×fma-define
42894×log1p-expm1-u
38568×times-frac
35779×associate-*r*
29624×*-commutative
Stop Event
8×saturated
163×node limit
28×fuel
1×unsound
4×done
Compiler

Compiled 47462 to 28741 computations (39.4% saved)

eval46.7s (9.3%)

Compiler

Compiled 3159317 to 2060302 computations (34.8% saved)

regimes32.7s (6.5%)

Counts
11533 → 810
Calls

156 calls:

2.7s
l
2.7s
t
1.7s
k
1.6s
F
1.4s
NaChar
Compiler

Compiled 8297 to 6421 computations (22.6% saved)

prune27.6s (5.5%)

Counts
93905 → 3216
Compiler

Compiled 148956 to 104944 computations (29.5% saved)

rewrite27.3s (5.5%)

Algorithm
126×batch-egg-rewrite
Rules
69907×log1p-expm1-u
48655×expm1-log1p-u
31022×add-exp-log
30889×add-log-exp
30589×pow1
Stop Event
123×node limit
3×unsound
Counts
1313 → 39083

bsearch16.6s (3.3%)

Algorithm
383×binary-search
78×left-value
Stop Event
11×predicate-same
372×narrow-enough
Results
9.9s45036×0valid
1.8s8945×0invalid
610.0ms1459×1valid
126.0ms218×2valid
29.0ms101×1invalid
31.0ms45×3valid
6.0ms14×2invalid
85.0ms10×4valid
Compiler

Compiled 117187 to 89844 computations (23.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 2.2s (23.8% of total)
ival-div: 2.0s (21.3% of total)
ival-pow: 1.4s (15.3% of total)
ival-add: 943.0ms (10% of total)
ival-sin: 601.0ms (6.4% of total)
ival-sub: 516.0ms (5.5% of total)
ival-tan: 506.0ms (5.4% of total)
ival-neg: 296.0ms (3.1% of total)
ival-exp: 234.0ms (2.5% of total)
const: 174.0ms (1.8% of total)
backward-pass: 156.0ms (1.7% of total)
ival-sqrt: 127.0ms (1.3% of total)
ival-cos: 120.0ms (1.3% of total)
ival-hypot: 20.0ms (0.2% of total)
ival-asin: 19.0ms (0.2% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-atan: 7.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

series14.4s (2.9%)

Counts
1313 → 33597
Calls

8904 calls:

TimeVariablePointExpression
271.0ms
l
@inf
(pow (/ d l) 1/4)
187.0ms
a2
@0
(* a2 (pow 2 -1/4))
173.0ms
h
@0
(cbrt (pow (* h l) -1/2))
173.0ms
d
@-inf
(pow (/ d l) 1/4)
134.0ms
t
@-inf
(/ t (sqrt (- (* (/ (+ x 1) (+ x -1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

explain13.8s (2.8%)

Results
5.9s13326×0valid
3.0s2204×1valid
553.0ms478×2valid
481.0ms350×3valid
27.0ms24×4valid
2.0ms2×5exit
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-mult: 1.7s (22% of total)
ival-div: 1.5s (18.8% of total)
ival-pow: 1.1s (14% of total)
backward-pass: 527.0ms (6.8% of total)
ival-add: 466.0ms (6% of total)
ival-sub: 447.0ms (5.7% of total)
ival-tan: 441.0ms (5.7% of total)
ival-cos: 346.0ms (4.4% of total)
ival-sqrt: 315.0ms (4% of total)
ival-exp: 297.0ms (3.8% of total)
const: 188.0ms (2.4% of total)
ival-neg: 130.0ms (1.7% of total)
ival-sin: 126.0ms (1.6% of total)
ival-hypot: 85.0ms (1.1% of total)
ival-log: 81.0ms (1% of total)
ival-acos: 31.0ms (0.4% of total)
ival-pi: 18.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)

analyze11.0s (2.2%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.6%40.7%48.6%1.8%0%8.2%0.8%7
48%42.2%45.7%1.8%0%9.5%0.8%8
51.1%44.7%42.8%1.8%0%9.8%0.9%9
52.2%45.6%41.7%1.8%0%10.1%0.9%10
54%46.8%39.8%1.8%0%10.6%1%11
55.8%48%38.1%1.8%0%11.2%1%12
Compiler

Compiled 861 to 616 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 1.9s (29.6% of total)
ival-pow: 1.2s (19.1% of total)
ival-div: 1.2s (18% of total)
ival-sqrt: 432.0ms (6.7% of total)
ival-add: 417.0ms (6.5% of total)
ival-sub: 411.0ms (6.4% of total)
ival-sin: 182.0ms (2.8% of total)
ival-tan: 130.0ms (2% of total)
const: 119.0ms (1.8% of total)
ival-neg: 107.0ms (1.7% of total)
ival-exp: 96.0ms (1.5% of total)
ival-acos: 95.0ms (1.5% of total)
ival-pi: 33.0ms (0.5% of total)
ival-cos: 27.0ms (0.4% of total)
ival-asin: 25.0ms (0.4% of total)
ival-<: 24.0ms (0.4% of total)
backward-pass: 22.0ms (0.3% of total)
ival-fabs: 18.0ms (0.3% of total)
ival-log: 10.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess9.8s (2%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 46976 to 28794 computations (38.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...