#include <bits/stdc++.h>
using namespace std;
long long c[100020];
int main(void) {
  int n;
  long long x, o;
  int i;
  scanf("%d %I64d", &n, &x);
  for (i = 1; i <= n; i++) scanf("%I64d", &c[i]);
  sort(c + 1, c + n + 1);
  for (i = 1, o = 0; i <= n; i++) o += max(x - i + 1, 1LL) * c[i];
  printf("%I64d\n", o);
  return 0;
}
