// TranThienPhuc2657
#include <bits/stdc++.h>
using namespace std;
#define file "lehoi"
#define TIME 1.0 * clock() / CLOCKS_PER_SEC
#define ll long long
#define pb push_back
#define fi first
#define se second
#define pii pair <int, int>
#define pll pair <ll, ll>
#define ld long double
#define Sz(x) ((int) (x).size())
#define getBit(mask, i) (((mask) >> (i)) & 1)
template <typename T1, typename T2> bool mini(T1 &A, T2 B) {if (A > B) A = B; else return 0; return 1;}
template <typename T1, typename T2> bool maxi(T1 &A, T2 B) {if (A < B) A = B; else return 0; return 1;}
const int inf = 2e9 + 7;
const ll linf = 1e18l + 7;
const int mod = 1e9 + 7;
const int N = 2e5 + 5;
int n, k, a[N];
ll pref[N], dp[N];
struct Item {
int l, r, opt;
};
// init
void init() {
for (int i = 1; i <= n; i++) pref[i] = pref[i - 1] + a[i];
memset(dp, 0x3f, (n + 5) * sizeof(ll));
dp[0] = 0;
}
// inp
void inp() {
cin >> n >> k;
for (int i = 1; i <= n; i++) cin >> a[i];
}
// proc
ll cost(int l, int r) {
int mid = (l + r) / 2;
return 1ll * (mid - l + 1) * a[mid] - (pref[mid] - pref[l - 1]) + (pref[r] - pref[mid]) - 1ll * (r - (mid + 1) + 1) * a[mid] + k;
}
void proc() {
deque <Item> dq; dq.pb({1, n, 0});
for (int i = 1; i <= n; i++) {
Item &cur = dq.front();
dp[i] = dp[cur.opt] + cost(cur.opt + 1, i);
cur.l++;
if (cur.l > cur.r) dq.pop_front();
while (!dq.empty() and dp[i] + cost(i + 1, dq.back().l) < dp[dq.back().opt] + cost(dq.back().opt + 1, dq.back().l)) dq.pop_back();
if (dq.empty()) dq.pb({i + 1, n, i});
else {
int l = dq.back().l, r = dq.back().r, opt = dq.back().opt;
while (l <= r) {
int mid = (l + r) / 2;
if (dp[i] + cost(i + 1, mid) < dp[opt] + cost(opt + 1, mid)) r = mid - 1;
else l = mid + 1;
}
if (l <= n) {
dq.back().r = r;
dq.pb({l, n, i});
}
}
}
cout << dp[n];
}
signed main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
if (fopen(file".inp", "r")) {
freopen(file".inp", "r", stdin);
freopen(file".out", "w", stdout);
}
inp();
init();
proc();
cerr << "Time elapsed: " << TIME << "s.\n";
return 0;
}
Ly8gVHJhblRoaWVuUGh1YzI2NTcKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgZmlsZSAibGVob2kiCiNkZWZpbmUgVElNRSAxLjAgKiBjbG9jaygpIC8gQ0xPQ0tTX1BFUl9TRUMKI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIHBpaSBwYWlyIDxpbnQsIGludD4KI2RlZmluZSBwbGwgcGFpciA8bGwsIGxsPgojZGVmaW5lIGxkIGxvbmcgZG91YmxlCiNkZWZpbmUgU3ooeCkgKChpbnQpICh4KS5zaXplKCkpCiNkZWZpbmUgZ2V0Qml0KG1hc2ssIGkpICgoKG1hc2spID4+IChpKSkgJiAxKQp0ZW1wbGF0ZSA8dHlwZW5hbWUgVDEsIHR5cGVuYW1lIFQyPiBib29sIG1pbmkoVDEgJkEsIFQyIEIpIHtpZiAoQSA+IEIpIEEgPSBCOyBlbHNlIHJldHVybiAwOyByZXR1cm4gMTt9CnRlbXBsYXRlIDx0eXBlbmFtZSBUMSwgdHlwZW5hbWUgVDI+IGJvb2wgbWF4aShUMSAmQSwgVDIgQikge2lmIChBIDwgQikgQSA9IEI7IGVsc2UgcmV0dXJuIDA7IHJldHVybiAxO30KY29uc3QgaW50IGluZiA9IDJlOSArIDc7CmNvbnN0IGxsIGxpbmYgPSAxZTE4bCArIDc7CmNvbnN0IGludCBtb2QgPSAxZTkgKyA3Owpjb25zdCBpbnQgTiA9IDJlNSArIDU7CgppbnQgbiwgaywgYVtOXTsKbGwgcHJlZltOXSwgZHBbTl07CnN0cnVjdCBJdGVtIHsKICAgIGludCBsLCByLCBvcHQ7Cn07CgovLyBpbml0CnZvaWQgaW5pdCgpIHsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG47IGkrKykgcHJlZltpXSA9IHByZWZbaSAtIDFdICsgYVtpXTsKICAgIG1lbXNldChkcCwgMHgzZiwgKG4gKyA1KSAqIHNpemVvZihsbCkpOwogICAgZHBbMF0gPSAwOwp9CgovLyBpbnAKdm9pZCBpbnAoKSB7CiAgICBjaW4gPj4gbiA+PiBrOwogICAgZm9yIChpbnQgaSA9IDE7IGkgPD0gbjsgaSsrKSBjaW4gPj4gYVtpXTsKfQoKLy8gcHJvYwpsbCBjb3N0KGludCBsLCBpbnQgcikgewogICAgaW50IG1pZCA9IChsICsgcikgLyAyOwogICAgcmV0dXJuIDFsbCAqIChtaWQgLSBsICsgMSkgKiBhW21pZF0gLSAocHJlZlttaWRdIC0gcHJlZltsIC0gMV0pICsgKHByZWZbcl0gLSBwcmVmW21pZF0pIC0gMWxsICogKHIgLSAobWlkICsgMSkgKyAxKSAqIGFbbWlkXSArIGs7Cn0KCnZvaWQgcHJvYygpIHsKICAgIGRlcXVlIDxJdGVtPiBkcTsgZHEucGIoezEsIG4sIDB9KTsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG47IGkrKykgewogICAgICAgIEl0ZW0gJmN1ciA9IGRxLmZyb250KCk7CiAgICAgICAgZHBbaV0gPSBkcFtjdXIub3B0XSArIGNvc3QoY3VyLm9wdCArIDEsIGkpOwogICAgICAgIGN1ci5sKys7CiAgICAgICAgaWYgKGN1ci5sID4gY3VyLnIpIGRxLnBvcF9mcm9udCgpOwoKICAgICAgICB3aGlsZSAoIWRxLmVtcHR5KCkgYW5kIGRwW2ldICsgY29zdChpICsgMSwgZHEuYmFjaygpLmwpIDwgZHBbZHEuYmFjaygpLm9wdF0gKyBjb3N0KGRxLmJhY2soKS5vcHQgKyAxLCBkcS5iYWNrKCkubCkpIGRxLnBvcF9iYWNrKCk7CiAgICAgICAgaWYgKGRxLmVtcHR5KCkpIGRxLnBiKHtpICsgMSwgbiwgaX0pOwogICAgICAgIGVsc2UgewogICAgICAgICAgICBpbnQgbCA9IGRxLmJhY2soKS5sLCByID0gZHEuYmFjaygpLnIsIG9wdCA9IGRxLmJhY2soKS5vcHQ7CiAgICAgICAgICAgIHdoaWxlIChsIDw9IHIpIHsKICAgICAgICAgICAgICAgIGludCBtaWQgPSAobCArIHIpIC8gMjsKICAgICAgICAgICAgICAgIGlmIChkcFtpXSArIGNvc3QoaSArIDEsIG1pZCkgPCBkcFtvcHRdICsgY29zdChvcHQgKyAxLCBtaWQpKSByID0gbWlkIC0gMTsKICAgICAgICAgICAgICAgIGVsc2UgbCA9IG1pZCArIDE7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgaWYgKGwgPD0gbikgewogICAgICAgICAgICAgICAgZHEuYmFjaygpLnIgPSByOwogICAgICAgICAgICAgICAgZHEucGIoe2wsIG4sIGl9KTsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgIH0KICAgIGNvdXQgPDwgZHBbbl07Cn0KCnNpZ25lZCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CiAgICBpZiAoZm9wZW4oZmlsZSIuaW5wIiwgInIiKSkgewogICAgICAgIGZyZW9wZW4oZmlsZSIuaW5wIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3BlbihmaWxlIi5vdXQiLCAidyIsIHN0ZG91dCk7CiAgICB9CgogICAgaW5wKCk7CiAgICBpbml0KCk7CiAgICBwcm9jKCk7CiAgICBjZXJyIDw8ICJUaW1lIGVsYXBzZWQ6ICIgPDwgVElNRSA8PCAicy5cbiI7CiAgICByZXR1cm4gMDsKfQo=