Herbie run

Date:Saturday, May 18th, 2024
Commit:4507d544 on jackson-mergable-platform-changes
Hostname:nightly with Racket 8.11.1
Seed:2024139
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: 7.9min)

sample1.8min (23.1%)

Results
39.1s225175×0valid
13.7s25179×1valid
11.8s65843×0invalid
7.3s12111×5exit
3.9s6376×3valid
3.7s6587×2valid
3.4s10579×1invalid
1.1s869×4valid
240.0ms560×2invalid
37.0ms243×0unsamplable
5.0ms6×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 17.9s (27.2% of total)
ival-div: 10.0s (15.3% of total)
ival-pow: 6.6s (10% of total)
ival-sqrt: 4.8s (7.2% of total)
ival-tan: 4.6s (7% of total)
ival-sub: 4.4s (6.7% of total)
ival-add: 3.9s (6% of total)
backward-pass: 3.1s (4.7% of total)
ival-exp: 2.1s (3.2% of total)
ival-sin: 1.9s (2.9% of total)
<compiled-spec>: 1.3s (2% of total)
ival-acos: 1.1s (1.7% of total)
ival-cos: 1.1s (1.7% of total)
const: 789.0ms (1.2% of total)
ival-neg: 766.0ms (1.2% of total)
ival-pi: 401.0ms (0.6% of total)
ival-log: 343.0ms (0.5% of total)
ival-asin: 238.0ms (0.4% of total)
ival-fabs: 105.0ms (0.2% of total)
ival-atan: 99.0ms (0.2% of total)
ival-<: 82.0ms (0.1% of total)
ival-and: 9.0ms (0% of total)
Bogosity

simplify1.1min (14.5%)

Algorithm
159×egg-herbie
Rules
52517×fma-define
40972×*-commutative
40352×times-frac
33779×associate-*r*
32941×distribute-lft-in
Stop Event
32×saturated
127×node limit
Counts
95903 → 80227

localize1.1min (13.6%)

Algorithm
127×egg-herbie
Rules
62834×fma-define
40400×fmm-def
30703×distribute-lft-in
27330×distribute-rgt-in
27208×associate-*r*
Stop Event
32×saturated
95×node limit
Results
14.0s2031×5exit
12.2s22135×0valid
5.7s3514×1valid
2.7s3891×0invalid
1.6s585×2valid
341.0ms164×3valid
73.0ms192×0unsamplable
Compiler

Compiled 38246 to 4402 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.0s
ival-tan: 5.0s (19.1% of total)
ival-mult: 4.0s (15.6% of total)
ival-pow: 3.5s (13.3% of total)
<compiled-spec>: 3.0s (11.6% of total)
ival-div: 2.2s (8.4% of total)
backward-pass: 1.5s (5.7% of total)
ival-log: 1.1s (4.4% of total)
ival-add: 1.0s (4% of total)
ival-sqrt: 986.0ms (3.8% of total)
ival-sub: 930.0ms (3.6% of total)
ival-exp: 881.0ms (3.4% of total)
ival-cos: 438.0ms (1.7% of total)
ival-sin: 389.0ms (1.5% of total)
ival-cbrt: 319.0ms (1.2% of total)
ival-acos: 261.0ms (1% of total)
ival-asin: 173.0ms (0.7% of total)
const: 145.0ms (0.6% of total)
ival-neg: 88.0ms (0.3% of total)
ival-pi: 46.0ms (0.2% of total)
ival-atan: 40.0ms (0.2% of total)
ival-fabs: 13.0ms (0.1% of total)

soundness59.5s (12.6%)

Rules
58131×fma-define
45900×log1p-expm1-u
38786×times-frac
37235×expm1-log1p-u
34787×associate-*r*
Stop Event
8×saturated
185×node limit
30×fuel
1×unsound
2×done
Compiler

Compiled 47997 to 14301 computations (70.2% saved)

rewrite35.3s (7.5%)

Algorithm
127×batch-egg-rewrite
Rules
70283×log1p-expm1-u
52163×expm1-log1p-u
33565×add-exp-log
33456×pow1
33027×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
1953 → 51597

prune31.2s (6.6%)

Counts
117079 → 3367
Compiler

Compiled 152833 to 86456 computations (43.4% saved)

eval24.3s (5.1%)

Compiler

Compiled 3712799 to 488537 computations (86.8% saved)

regimes19.9s (4.2%)

Counts
11604 → 727
Calls

156 calls:

1.6s
l
1.4s
t
713.0ms
k
519.0ms
n
451.0ms
U
Compiler

Compiled 8628 to 6433 computations (25.4% saved)

series16.5s (3.5%)

Counts
1953 → 44306
Calls

12267 calls:

TimeVariablePointExpression
604.0ms
h
@0
(log (* (pow (/ d D) 2) (/ c0 (* w h))))
384.0ms
d
@inf
(cbrt (* (pow (- 1 (* h (/ (pow (* (/ (/ D d) 2) M) 2) l))) 3/2) (pow w0 3)))
279.0ms
w
@0
(log (pow (exp (* c0 1/2)) (* M (/ (sqrt -1) w))))
264.0ms
D
@0
(+ (* -1 (* M h)) (/ (* c0 (pow d 2)) (* (pow D 2) w)))
197.0ms
a
@0
(* a (/ (pow k m) (+ 1 (* k (+ 10 k)))))

bsearch15.0s (3.2%)

Algorithm
312×binary-search
63×left-value
Stop Event
14×predicate-same
298×narrow-enough
Results
8.1s33254×0valid
1.8s6257×0invalid
653.0ms1319×2valid
650.0ms1886×1valid
158.0ms284×3valid
62.0ms235×1invalid
52.0ms126×2invalid
34.0ms25×4valid
Compiler

Compiled 91406 to 65719 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-mult: 2.3s (26.4% of total)
ival-div: 1.6s (18.6% of total)
ival-pow: 1.5s (17.5% of total)
ival-add: 859.0ms (10% of total)
ival-sin: 643.0ms (7.5% of total)
ival-sub: 442.0ms (5.2% of total)
ival-tan: 413.0ms (4.8% of total)
ival-sqrt: 243.0ms (2.8% of total)
ival-exp: 214.0ms (2.5% of total)
backward-pass: 144.0ms (1.7% of total)
ival-neg: 107.0ms (1.2% of total)
const: 86.0ms (1% of total)
ival-cos: 35.0ms (0.4% of total)
ival-atan: 12.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)
ival-pi: 2.0ms (0% of total)
ival-log: 2.0ms (0% of total)

analyze11.8s (2.5%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.1%18.7%79.5%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.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.7s
ival-mult: 2.5s (37.9% of total)
ival-pow: 1.3s (19.3% of total)
ival-div: 894.0ms (13.4% of total)
ival-sqrt: 422.0ms (6.3% of total)
ival-add: 409.0ms (6.1% of total)
ival-sub: 290.0ms (4.4% of total)
ival-sin: 193.0ms (2.9% of total)
ival-tan: 133.0ms (2% of total)
ival-exp: 119.0ms (1.8% of total)
const: 107.0ms (1.6% of total)
ival-neg: 89.0ms (1.3% of total)
ival-acos: 52.0ms (0.8% of total)
ival-pi: 27.0ms (0.4% of total)
ival-<: 23.0ms (0.3% of total)
ival-asin: 21.0ms (0.3% of total)
backward-pass: 20.0ms (0.3% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-cos: 16.0ms (0.2% of total)
ival-log: 14.0ms (0.2% of total)
ival-atan: 4.0ms (0.1% of total)
ival-and: 3.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

preprocess9.3s (2%)

Algorithm
32×egg-herbie
Rules
20054×fma-define
13409×fmm-def
8518×times-frac
7224×distribute-lft-in
7153×unsub-neg
Stop Event
9×saturated
23×node limit
Compiler

Compiled 46082 to 19008 computations (58.8% saved)

explain8.8s (1.9%)

Results
3.3s13286×0valid
1.7s2116×1valid
423.0ms438×3valid
387.0ms492×2valid
40.0ms38×4valid
9.0ms14×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 708.0ms (20.5% of total)
ival-div: 696.0ms (20.2% of total)
ival-tan: 439.0ms (12.7% of total)
ival-sqrt: 272.0ms (7.9% of total)
backward-pass: 267.0ms (7.7% of total)
ival-pow: 262.0ms (7.6% of total)
ival-sub: 156.0ms (4.5% of total)
ival-sin: 139.0ms (4% of total)
ival-add: 138.0ms (4% of total)
ival-exp: 87.0ms (2.5% of total)
ival-cos: 67.0ms (1.9% of total)
ival-acos: 53.0ms (1.5% of total)
ival-pi: 42.0ms (1.2% of total)
const: 39.0ms (1.1% of total)
ival-neg: 30.0ms (0.9% of total)
<compiled-spec>: 16.0ms (0.5% of total)
ival-log: 16.0ms (0.5% of total)
ival-asin: 10.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 5.0ms (0.1% of total)

end2.0ms (0%)

Profiling

Loading profile data...