/*************************************
*    author: marvinthang             *
*    created: 08.11.2024 15:21:48    *
*************************************/

#include <bits/stdc++.h>

using namespace std;

#define             fi  first
#define             se  second
#define           left  ___left___
#define          right  ___right___
#define   scan_op(...)  istream & operator >> (istream &in, __VA_ARGS__ &u)
#define  print_op(...)  ostream & operator << (ostream &out, const __VA_ARGS__ &u)
#define     file(name)  if (fopen(name".inp", "r")) { freopen(name".inp", "r", stdin); freopen(name".out", "w", stdout); }
#ifdef LOCAL
	#include "debug.h"
#else
	#define DB(...)
	#define db(...) ""
	#define debug(...)
#endif

namespace std {
template <class U, class V> scan_op(pair <U, V>) { return in >> u.first >> u.second; }
template <class T> scan_op(vector <T>) { for (size_t i = 0; i < u.size(); ++i) in >> u[i]; return in; }
template <class U, class V> print_op(pair <U, V>) { return out << '(' << u.first << ", " << u.second << ')'; }
template <size_t i, class T> ostream &print_tuple_utils(ostream &out, const T &tup) { if constexpr(i == tuple_size<T>::value) return out << ")"; else return print_tuple_utils<i + 1, T>(out << (i ? ", " : "(") << get<i>(tup), tup); }
template <class...U> print_op(tuple <U...>) { return print_tuple_utils<0, tuple <U...>>(out, u); }
template <class Con, class = decltype(begin(declval<Con>()))>typename enable_if <!is_same<Con, string>::value, ostream &>::type operator << (ostream &out, const Con &con) { out << '{'; for (__typeof(con.begin()) it = con.begin(); it != con.end(); ++it) out << (it == con.begin() ? "" : ", ") << *it; return out << '}'; }
template <class T> print_op(stack <T>) { vector <T> v; stack <T> st = u; while (!st.empty()) v.push_back(st.top()), st.pop(); reverse(v.begin(), v.end()); return out << v; }
template <class T> print_op(queue <T>) { queue <T> q = u; out << '{'; while (!q.empty()) { out << q.front(); q.pop(); if (!q.empty()) out << ", "; } out << '}'; return out; }
template <class T, class X, class Y> print_op(priority_queue <T, X, Y>) { priority_queue <T, X, Y> pq = u; out << '{'; while (!pq.empty()) { out << pq.top(); pq.pop(); if (!pq.empty()) out << ", "; } out << '}'; return out; }
template <class Fun> class y_combinator_result { Fun fun_; public: template <class T> explicit y_combinator_result(T &&fun): fun_(forward<T>(fun)) {} template <class...Args> decltype(auto)operator()(Args &&...args) { return fun_(ref(*this), forward<Args>(args)...); } };
template <class Fun> decltype(auto)y_combinator(Fun &&fun) { return y_combinator_result<decay_t<Fun>>(forward<Fun>(fun)); }
template <typename T, int D> struct Vec: public vector <Vec<T, D - 1>> { static_assert(D >= 1, "Vector dimension must be greater than zero!"); template <typename ...Args> Vec(int n = 0, Args ...args): vector <Vec<T, D - 1>>(n, Vec<T, D - 1>(args...)) {} };
template <typename T> struct Vec<T, 1>: public vector<T>{ Vec(int n = 0, const T &val = T()): vector<T>(n, val) {} };
#if __cplusplus < 202002L
	template <class T> int ssize(const T &a) { return a.size(); }
#endif
}

template <typename T> vector <int> kmp_table(int n, const T &s) {
	vector<int> pi(n);
	for (int i = 1; i < n; i++) {
		int &j = pi[i];
		j = pi[i - 1];
		while (j > 0 && s[i] != s[j]) j = pi[j - 1];
		if (s[i] == s[j]) j++;
	}
	return pi;
}
template <typename T> vector <int> kmp_table(const T &s) { return kmp_table(s.size(), s); }
template <typename T> vector <int> kmp_search(int n, const T &s, int m, const T &w, const vector <int> &pi) {
	assert(n >= 1 && (int) pi.size() == n);
	vector <int> res;
	int j = 0;
	for (int i = 0; i < m; i++) {
		while (j > 0 && (j == n || w[i] != s[j])) j = pi[j - 1];
		if (w[i] == s[j]) j++;
		if (j == n) res.push_back(i - n + 1);
	}
	return res;
}
template <typename T> vector <int> kmp_search(const T &s, const T &w, const vector <int> &pi) { return kmp_search(s.size(), s, w.size(), w, pi); }

void process(void) {
	string s, t; cin >> s >> t;
	{
		string z;
		for (char c: t) {
			if (z.empty() || z.back() != c) {
				if (ssize(z) >= 3 && z.end()[-3] == z.end()[-1] && z.end()[-2] == c) {
					z.pop_back();
				} else {
					z += c;
				}
			}
		}
		t = z;
	}
	int n = ssize(s);
	int m = ssize(t);
	vector <int> pos(n, n);
	vector <string> val {t};
	if (ssize(t) == 2) {
		swap(t[0], t[1]);
		val.push_back(t);
	}
	if (ssize(t) >= 3) {
		if (t[0] == t[2]) {
			val.push_back(t.substr(1));
		}
		if (t.end()[-3] == t.end()[-1]) {
			val.push_back(t.substr(0, m - 1));
		}
	}
	for (auto t: val) {
		auto pi = kmp_table(t);
		auto res = kmp_search(t, s, pi);
		for (int x: res) {
			pos[x] = min(pos[x], x + (int) ssize(t) - 1);
		}
	}
	long long res = 0;
	for (int i = n; i--; ) {
		if (i + 1 < n) pos[i] = min(pos[i], pos[i + 1]);
		res += n - pos[i];
	}
	cout << res << '\n';
}

int main(void) {
	ios_base::sync_with_stdio(false); cin.tie(nullptr);
	file("test");
	// int t; cin >> t; while (t--)
	process();
	return (0^0);
}