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