// 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];
// 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 dnc(int l, int r, int optl, int optr) {
if (l > r) return;
int mid = (l + r) / 2;
ll mn = linf; int opt = 0;
for (int j = optl; j <= min(optr, mid - 1); j++) {
if (mini(mn, dp[j] + cost(j + 1, mid))) opt = j;
}
mini(dp[mid], mn);
dnc(l, mid - 1, optl, opt);
dnc(mid + 1, r, opt, optr);
}
// DNC Chen Danqi
// Do la da ton tai mot cai da thoa roi nen la chi can viec
// Dua tu trai sang phai
// Tinh bai toan phai tren gioi han trai, sau khi tinh xong
// Se co cai dau tien cua phai da hoan thien, khi nay thi tiep tuc lap lai nhu tren
void cdq(int l, int r) {
if (l == r) return;
int mid = (l + r) / 2;
cdq(l, mid);
dnc(mid + 1, r, l, mid);
cdq(mid + 1, r);
}
void proc() {
cdq(0, n);
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+IGJvb2wgbWF4aShUMSAmQSwgVDIgQikge2lmIChBIDwgQikgQSA9IEI7IGVsc2UgcmV0dXJuIDA7IHJldHVybiAxO30KY29uc3QgaW50IGluZiA9IDJlOSArIDc7CmNvbnN0IGxsIGxpbmYgPSAxZTE4bCArIDc7CmNvbnN0IGludCBtb2QgPSAxZTkgKyA3Owpjb25zdCBpbnQgTiA9IDJlNSArIDU7CgppbnQgbiwgaywgYVtOXTsKbGwgcHJlZltOXSwgZHBbTl07CgovLyBpbml0CnZvaWQgaW5pdCgpIHsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG47IGkrKykgcHJlZltpXSA9IHByZWZbaSAtIDFdICsgYVtpXTsKICAgIG1lbXNldChkcCwgMHgzZiwgKG4gKyA1KSAqIHNpemVvZihsbCkpOwogICAgZHBbMF0gPSAwOwp9CgovLyBpbnAKdm9pZCBpbnAoKSB7CiAgICBjaW4gPj4gbiA+PiBrOwogICAgZm9yIChpbnQgaSA9IDE7IGkgPD0gbjsgaSsrKSBjaW4gPj4gYVtpXTsKfQoKLy8gcHJvYwpsbCBjb3N0KGludCBsLCBpbnQgcikgewogICAgaW50IG1pZCA9IChsICsgcikgLyAyOwogICAgcmV0dXJuIDFsbCAqIChtaWQgLSBsICsgMSkgKiBhW21pZF0gLSAocHJlZlttaWRdIC0gcHJlZltsIC0gMV0pICsgKHByZWZbcl0gLSBwcmVmW21pZF0pIC0gMWxsICogKHIgLSAobWlkICsgMSkgKyAxKSAqIGFbbWlkXSArIGs7Cn0KCnZvaWQgZG5jKGludCBsLCBpbnQgciwgaW50IG9wdGwsIGludCBvcHRyKSB7CiAgICBpZiAobCA+IHIpIHJldHVybjsKICAgIGludCBtaWQgPSAobCArIHIpIC8gMjsKICAgIGxsIG1uID0gbGluZjsgaW50IG9wdCA9IDA7IAogICAgZm9yIChpbnQgaiA9IG9wdGw7IGogPD0gbWluKG9wdHIsIG1pZCAtIDEpOyBqKyspIHsKICAgICAgICBpZiAobWluaShtbiwgZHBbal0gKyBjb3N0KGogKyAxLCBtaWQpKSkgb3B0ID0gajsKICAgIH0KICAgIG1pbmkoZHBbbWlkXSwgbW4pOwogICAgZG5jKGwsIG1pZCAtIDEsIG9wdGwsIG9wdCk7CiAgICBkbmMobWlkICsgMSwgciwgb3B0LCBvcHRyKTsKfQoKLy8gRE5DIENoZW4gRGFucWkKLy8gRG8gbGEgZGEgdG9uIHRhaSBtb3QgY2FpIGRhIHRob2Egcm9pIG5lbiBsYSBjaGkgY2FuIHZpZWMgCi8vIER1YSB0dSB0cmFpIHNhbmcgcGhhaQovLyBUaW5oIGJhaSB0b2FuIHBoYWkgdHJlbiBnaW9pIGhhbiB0cmFpLCBzYXUga2hpIHRpbmggeG9uZyAKLy8gU2UgY28gY2FpIGRhdSB0aWVuIGN1YSBwaGFpIGRhIGhvYW4gdGhpZW4sIGtoaSBuYXkgdGhpIHRpZXAgdHVjIGxhcCBsYWkgbmh1IHRyZW4Kdm9pZCBjZHEoaW50IGwsIGludCByKSB7CiAgICBpZiAobCA9PSByKSByZXR1cm47CiAgICBpbnQgbWlkID0gKGwgKyByKSAvIDI7CiAgICBjZHEobCwgbWlkKTsKICAgIGRuYyhtaWQgKyAxLCByLCBsLCBtaWQpOwogICAgY2RxKG1pZCArIDEsIHIpOwp9Cgp2b2lkIHByb2MoKSB7CiAgICBjZHEoMCwgbik7CiAgICBjb3V0IDw8IGRwW25dOwp9CgpzaWduZWQgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwogICAgaWYgKGZvcGVuKGZpbGUiLmlucCIsICJyIikpIHsKICAgICAgICBmcmVvcGVuKGZpbGUiLmlucCIsICJyIiwgc3RkaW4pOwogICAgICAgIGZyZW9wZW4oZmlsZSIub3V0IiwgInciLCBzdGRvdXQpOwogICAgfQoKICAgIGlucCgpOwogICAgaW5pdCgpOwogICAgcHJvYygpOwogICAgY2VyciA8PCAiVGltZSBlbGFwc2VkOiAiIDw8IFRJTUUgPDwgInMuXG4iOwogICAgcmV0dXJuIDA7Cn0K