#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n, x;
  scanf("%I64d %I64d", &n, &x);
  long long ans = n;
  n -= x;
  bool flag = true;
  while (flag) {
    if (x > n) {
      swap(x, n);
    }
    long long temp = 2 * (n / x);
    long long res = n % x;
    if (res == 0) {
      temp -= 1;
      flag = false;
    }
    temp *= x;
    ans += temp;
    n = res;
  }
  printf("%I64d\n", ans);
  return 0;
}
