Herbie run

Date:Thursday, May 16th, 2024
Commit:9db37a23 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024137
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.5min)

sample1.7min (23.3%)

Results
39.8s221205×0valid
11.4s65851×0invalid
13.6s28961×1valid
3.6s10282×1invalid
3.8s6646×2valid
4.7s6484×3valid
2.0s3924×5exit
949.0ms888×4valid
327.0ms506×2invalid
35.0ms217×0unsamplable
7.0ms8×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 17.7s (28.9% of total)
ival-div: 8.9s (14.5% of total)
ival-pow: 7.0s (11.4% of total)
ival-sub: 4.5s (7.3% of total)
ival-add: 4.4s (7.2% of total)
ival-tan: 4.3s (7% of total)
ival-sqrt: 3.0s (4.9% of total)
ival-sin: 2.2s (3.6% of total)
backward-pass: 2.1s (3.4% of total)
ival-exp: 1.8s (2.9% of total)
ival-cos: 1.2s (1.9% of total)
ival-acos: 903.0ms (1.5% of total)
ival-neg: 757.0ms (1.2% of total)
const: 736.0ms (1.2% of total)
ival-log: 620.0ms (1% of total)
ival-pi: 479.0ms (0.8% of total)
ival-hypot: 317.0ms (0.5% of total)
ival-asin: 263.0ms (0.4% of total)
ival-fabs: 108.0ms (0.2% of total)
ival-atan: 80.0ms (0.1% of total)
ival-<: 76.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify1.1min (14.9%)

Algorithm
159×egg-herbie
Rules
53112×fma-define
43763×*-commutative
39834×times-frac
34623×associate-*r*
34602×distribute-lft-in
Stop Event
32×saturated
126×node limit
1×unsound
Counts
95433 → 78801

localize1.0min (13.6%)

Algorithm
127×egg-herbie
Rules
67920×fma-define
44471×fma-neg
29686×distribute-lft-in
26778×distribute-rgt-in
24961×distribute-lft-neg-in
Stop Event
36×saturated
91×node limit
Results
10.9s21536×0valid
3.0s3982×0invalid
4.3s3496×1valid
2.6s1226×2valid
11.0s879×5exit
2.1s628×3valid
552.0ms448×0unsamplable
262.0ms141×1invalid
755.0ms117×2invalid
194.0ms58×4valid
7.0ms1×5valid
Compiler

Compiled 37695 to 4379 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.0s
ival-tan: 5.8s (24% of total)
ival-mult: 3.7s (15.3% of total)
ival-pow: 3.2s (13.4% of total)
ival-div: 2.5s (10.5% of total)
backward-pass: 1.4s (5.8% of total)
ival-sin: 1.0s (4.3% of total)
ival-cos: 829.0ms (3.5% of total)
ival-add: 795.0ms (3.3% of total)
ival-sqrt: 743.0ms (3.1% of total)
ival-cbrt: 717.0ms (3% of total)
ival-exp: 627.0ms (2.6% of total)
ival-sub: 592.0ms (2.5% of total)
ival-fma: 387.0ms (1.6% of total)
ival-log1p: 352.0ms (1.5% of total)
ival-hypot: 267.0ms (1.1% of total)
ival-neg: 232.0ms (1% of total)
ival-log: 226.0ms (0.9% of total)
ival-expm1: 179.0ms (0.7% of total)
ival-acos: 150.0ms (0.6% of total)
const: 131.0ms (0.5% of total)
ival-asin: 94.0ms (0.4% of total)
ival-pi: 35.0ms (0.1% of total)
ival-atan: 31.0ms (0.1% of total)
ival-fabs: 10.0ms (0% of total)

soundness54.1s (12.1%)

Rules
53688×fma-define
46517×log1p-expm1-u
37122×times-frac
33522×expm1-log1p-u
33449×associate-*r*
Stop Event
8×saturated
171×node limit
31×fuel
1×unsound
1×done
Compiler

Compiled 42558 to 12962 computations (69.5% saved)

rewrite32.0s (7.1%)

Algorithm
127×batch-egg-rewrite
Rules
70345×log1p-expm1-u
49113×expm1-log1p-u
33613×add-exp-log
33177×add-log-exp
33143×pow1
Stop Event
126×node limit
1×unsound
Counts
1917 → 50718

prune28.7s (6.4%)

Counts
113356 → 3520
Compiler

Compiled 160677 to 89641 computations (44.2% saved)

eval23.2s (5.2%)

Compiler

Compiled 3504058 to 480821 computations (86.3% saved)

regimes20.2s (4.5%)

Counts
11552 → 727
Calls

156 calls:

1.9s
l
1.3s
k
943.0ms
M
922.0ms
t
547.0ms
d
Compiler

Compiled 8331 to 6140 computations (26.3% saved)

series16.5s (3.7%)

Counts
1917 → 44715
Calls

12129 calls:

TimeVariablePointExpression
442.0ms
h
@-inf
(* (+ (* c0 (* d (/ d (* D (* w (* h D)))))) M) (neg M))
297.0ms
t
@0
(sqrt (sqrt (* (* 2 U) (* n t))))
210.0ms
x
@0
(/ (* (sqrt 2) t) (sqrt (- (* 2 (+ (/ (pow t 2) x) (pow t 2))) (/ (neg (pow l 2)) x))))
175.0ms
n
@0
(* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)))
141.0ms
v
@0
(log (* (pow (cbrt (acos (- (* (pow v 2) (+ 4 (* 4 (pow v 2)))) 1))) 2) (cbrt (acos (/ (+ (* (pow v 2) -5) 1) (+ (* v v) -1))))))

bsearch13.0s (2.9%)

Algorithm
300×binary-search
79×left-value
Stop Event
9×predicate-same
291×narrow-enough
Results
7.0s33513×0valid
2.2s8027×0invalid
242.0ms697×1valid
339.0ms574×2valid
45.0ms87×3valid
20.0ms25×4valid
2.0ms10×1invalid
1.0ms2×2invalid
Compiler

Compiled 83748 to 60827 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-div: 1.9s (23.9% of total)
ival-mult: 1.8s (22.9% of total)
ival-pow: 1.6s (19.9% of total)
ival-sin: 688.0ms (8.8% of total)
ival-add: 476.0ms (6.1% of total)
ival-sub: 414.0ms (5.3% of total)
ival-tan: 324.0ms (4.2% of total)
ival-cos: 171.0ms (2.2% of total)
ival-neg: 154.0ms (2% of total)
ival-exp: 123.0ms (1.6% of total)
const: 80.0ms (1% of total)
ival-sqrt: 72.0ms (0.9% of total)
backward-pass: 68.0ms (0.9% of total)
ival-atan: 12.0ms (0.2% of total)
ival-asin: 2.0ms (0% of total)
ival-hypot: 2.0ms (0% of total)

analyze11.3s (2.5%)

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.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.9s
ival-mult: 2.1s (30% of total)
ival-pow: 1.5s (22.4% of total)
ival-div: 855.0ms (12.4% of total)
ival-sub: 495.0ms (7.2% of total)
ival-add: 422.0ms (6.1% of total)
ival-neg: 312.0ms (4.5% of total)
ival-sqrt: 270.0ms (3.9% of total)
ival-sin: 188.0ms (2.7% of total)
ival-fabs: 159.0ms (2.3% of total)
ival-acos: 159.0ms (2.3% of total)
ival-tan: 135.0ms (2% of total)
const: 85.0ms (1.2% of total)
ival-exp: 50.0ms (0.7% of total)
ival-pi: 46.0ms (0.7% of total)
ival-asin: 23.0ms (0.3% of total)
backward-pass: 22.0ms (0.3% of total)
ival-<: 22.0ms (0.3% of total)
ival-cos: 13.0ms (0.2% of total)
ival-log: 11.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)

explain8.5s (1.9%)

Results
3.1s13068×0valid
1.5s2290×1valid
486.0ms526×2valid
399.0ms448×3valid
47.0ms46×4valid
4.0ms6×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 836.0ms (26.2% of total)
ival-div: 444.0ms (13.9% of total)
ival-tan: 408.0ms (12.8% of total)
ival-pow: 292.0ms (9.1% of total)
ival-sin: 181.0ms (5.7% of total)
ival-sqrt: 175.0ms (5.5% of total)
backward-pass: 171.0ms (5.4% of total)
ival-sub: 160.0ms (5% of total)
ival-add: 145.0ms (4.5% of total)
ival-exp: 93.0ms (2.9% of total)
ival-cos: 72.0ms (2.3% of total)
const: 44.0ms (1.4% of total)
ival-log: 32.0ms (1% of total)
ival-neg: 31.0ms (1% of total)
ival-pi: 31.0ms (1% of total)
ival-acos: 30.0ms (0.9% of total)
ival-hypot: 23.0ms (0.7% of total)
ival-asin: 9.0ms (0.3% of total)
ival-fabs: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)

preprocess8.3s (1.9%)

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 50226 to 21346 computations (57.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...