#include<bits/stdc++.h>
using namespace std;
inline int read()
{
	int n=0,f=1,ch=getchar();
	while(ch<'0'||ch>'9')
	{
		if(ch=='-')f=-1;
		ch=getchar();
	}
	while(ch>='0'&&ch<='9')
	{
		n=n*10+ch-'0';
		ch=getchar();
	}
	return n*f;
}
vector<int>v[200005],ew[200005],zj[200005];
int dep[200005];
int bz[200005][19];
void dfspre(int x,int f)
{
	bz[x][0]=f;
	dep[x]=dep[f]+1;
	for(int i=1;i<=18;i++)bz[x][i]=bz[bz[x][i-1]][i-1];
	for(int i=0;i<v[x].size();i++)
	{
		if(v[x][i]==f)continue;
		dfspre(v[x][i],x);
	}
}
int lca(int x,int y)
{
	if(dep[x]<dep[y])swap(x,y);
	for(int i=18;i>=0;i--)
	{
		if(dep[bz[x][i]]>=dep[y])x=bz[x][i];
	}
	if(x==y)return x;
	for(int i=18;i>=0;i--)
	{
		if(bz[x][i]!=bz[y][i])
		{
			x=bz[x][i];
			y=bz[y][i];
		}
	}
	return bz[x][0];
}
int finddis(int x,int y)
{
	return dep[x]+dep[y]-2*dep[lca(x,y)];
}
bool aq[200005];
int zsl;
int sl[200005];
void dfsaq(int x,int f)
{
	if(aq[x])sl[x]++;
	int esl=0;
	for(int i=0;i<v[x].size();i++)
	{
		if(v[x][i]==f)continue;
		dfsaq(v[x][i],x);
		sl[x]+=sl[v[x][i]];
		if(sl[v[x][i]]!=0)esl++;
	}
	if(sl[x]!=zsl)esl++; 
	//printf("!!!%d %d %d\n",x,sl[x],esl);
	if(esl>=2)aq[x]=true;
}
int sum,rt;
int siz[200005],sy[200005],fa[200005];
bool vis[200005];
void findrt(int x,int f)
{
	fa[x]=f;
	sy[x]=0;
	siz[x]=1;
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]]||v[x][i]==f)continue;
		findrt(v[x][i],x);
		siz[x]+=siz[v[x][i]];
		sy[x]=max(sy[x],siz[v[x][i]]);
	}
	sy[x]=max(sy[x],sum-siz[x]);
	if(sy[x]<sy[rt])rt=x;
}
int f[200005],f2[200005],sx;
void insert(int k,int x)
{
	k++;
	while(k<=sx)
	{
		f[k]+=x;
		k+=((k)&(-k));
	}
}
void qingkong(int k)
{
	k++;
	while(k<=sx)
	{
		f[k]=0;
		k+=((k)&(-k));
	}
}
int query(int k)
{
	k++;
	int ans=0;
	while(k>=1)
	{
		ans+=f[k];
		k-=((k)&(-k));
	}
	return ans;
}
void insert2(int k,int x)
{
	k++;
	while(k<=sx)
	{
		f2[k]+=x;
		k+=((k)&(-k));
	}
}
int query2(int k)
{
	k++;
	int ans=0;
	while(k>=1)
	{
		ans+=f2[k];
		k-=((k)&(-k));
	}
	return ans;
}
void qingkong2(int k)
{
	k++;
	while(k<=sx)
	{
		f2[k]=0;
		k+=(k&(-k));
	}
}
bool check(int x,int y)
{
	if(y==bz[x][0])return (sl[x]>0);
	return (zsl-sl[y]>0);
}
int dis1[200005],n;
long long qans;
void dfs1(int x,int f,int zf)
{
	//printf("dfs1:%d %d %d\n",x,f,zf);
	dis1[x]=dis1[f]+1;
	insert(dis1[x],zf);
	for(int i=0;i<v[x].size();i++)
	{
		if(v[x][i]==f||vis[v[x][i]])continue;
		dfs1(v[x][i],x,zf);
	}
}
int nf[200005];
int bh[200005],las[200005],dis2[200005];
int cz[200005],csl[200005];
vector<int>js[200005];
void dfs2(int x,int f)
{
	nf[x]=f;
	if(check(x,f))
	{
		bh[x]=x;
		las[x]=-1;
		dis2[x]=0;
	}
	else
	{
		bh[x]=bh[f];
		if(bh[f]!=f)las[x]=las[f];
		else las[x]=x;
		dis2[x]=dis2[f]+1;
		for(int i=0;i<ew[x].size();i++)
		{
			if(zj[x][i]!=f)continue;
			if(ew[x][i]==nf[f])dis2[x]=min(dis2[x],dis2[nf[f]]+1);
		}
	}
	//printf("!!!%d %d\n",x,query(n));
	csl[x]=0;
	cz[x]=0;
	for(int i=0;i<ew[x].size();i++)
	{
		if(zj[x][i]!=f)continue;
		if(ew[x][i]==nf[f])continue;
		if(check(ew[x][i],f))
		{
			csl[x]++;
			cz[x]=ew[x][i];
		}
	}
	if(bh[x]==x)qans+=query(n);
	else
	{
		int nsx=dis2[x]-dis1[bh[x]]+1;
	//	printf("%d %d %d %d\n",x,dis2[x],bh[x],dis1[bh[x]]);
		//printf("???%d %d\n",bh[x],dis1[bh[x]]);
		if(csl[las[x]]>=1)nsx--;
		if(bh[x]==rt&&csl[las[x]]==1&&vis[cz[las[x]]]==false)
		{
			if(nsx>=0)js[cz[las[x]]].push_back(nsx);
		}
		//printf("%d %d %d\n",x,nsx,query(n)-query(nsx-1));
		qans+=query(n)-query(nsx-1);
	}
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]]||v[x][i]==f)continue;
		dfs2(v[x][i],x);
	}
}
int dis3[200005];
bool jg3[300005];
void dfs3(int x,int f,bool cz)
{
	nf[x]=f;
	if(f!=rt)
	{
		dis3[x]=dis3[f]+1;
		jg3[x]=jg3[f];
		for(int i=0;i<ew[x].size();i++)
		{
			if(ew[x][i]==nf[nf[x]])
			{
				dis3[x]=min(dis3[x],dis3[nf[nf[x]]]+1);
				jg3[x]=jg3[nf[nf[x]]];
			}
		}
	}
	if(jg3[x]&&cz)insert2(dis3[x]+1,1);
	else insert(dis3[x],1);
	for(int i=0;i<v[x].size();i++)
	{
		if(v[x][i]==f||vis[v[x][i]])continue;
		dfs3(v[x][i],x,cz);
	}
}
int dis4[200005],dis5[200005];
int tbh[200005],tlas[200005];
int nsd[200005];
void dfs4(int x,int f)
{
	nf[x]=f;
	nsd[x]=nsd[f]+1;
	if(f!=rt)
	{
		dis4[x]=dis4[f]+1;
		dis5[x]=dis5[f]+1;
		for(int i=0;i<ew[x].size();i++)
		{
			if(ew[x][i]==nf[f])
			{
				dis4[x]=min(dis4[x],dis4[nf[f]]+1);
				dis5[x]=min(dis5[x],dis5[nf[f]]+1);
			}
		}
	}
	tbh[x]=tbh[f];
	if(tbh[f]!=f)tlas[x]=tlas[f];
	else tlas[x]=x;
	if(tbh[x]==-1&&check(f,x))
	{
		tbh[x]=f;
		tlas[x]=x;
		csl[x]=0;
	}
	//printf("???%d %d %d %d %d\n",x,tbh[x],tlas[x],dis4[x],dis5[x]);
	csl[x]=0;
	for(int i=0;i<ew[f].size();i++)
	{
		if(zj[f][i]!=x)continue; 
		if(check(ew[f][i],x))csl[x]++,cz[x]=ew[f][i];
	}
	if(tbh[x]!=-1)
	{
		int nsx=nsd[x]-nsd[tbh[x]]-1;
		if(csl[tbh[x]]>=2||(csl[tbh[x]]==1&&tlas[x]!=cz[tbh[x]]))nsx++;
		//printf("orz%d %d %d %d %d\n",x,tbh[x],nsx,dis4[x],dis5[x]);
		//printf("!!!!%d %d\n",query(nsx-dis4[tbh[x]]),query2(nsx-dis5[tbh[x]]));
		qans+=query(nsx-dis4[tbh[x]])+query2(nsx-dis5[tbh[x]]);
	}
	for(int i=0;i<v[x].size();i++)
	{
		if(v[x][i]==f||vis[v[x][i]])continue;
		dfs4(v[x][i],x);
	}
}
void dfs5(int x,int f)
{
	qingkong2(dis3[x]+1);
	qingkong(dis3[x]);
	for(int i=0;i<v[x].size();i++)
	{
		if(v[x][i]==f||vis[v[x][i]])continue;
		dfs5(v[x][i],x);
	}
}
void solve(int x)
{
	//printf("solve:%d\n",x);
	//for(int i=1;i<=sx;i++)assert(f[i]==0&&f2[i]==0);
	vis[x]=true;
	if(fa[x]!=0&&vis[fa[x]]==false)siz[fa[x]]=sum-siz[x];
	int wy=0;
	if(!aq[x])
	{
		for(int i=0;i<v[x].size();i++)
		{
			if(vis[v[x][i]])continue;
			if(v[x][i]!=bz[x][0]&&sl[v[x][i]]>0)wy=v[x][i];
		}
		if(wy==0&&vis[bz[x][0]]==false&&sl[x]!=zsl)wy=bz[x][0];
	}
	//printf("orz%d %d\n",x,wy);
	dis1[x]=0;
	insert(0,1);
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]])continue;
		js[v[x][i]].clear();
		if(v[x][i]!=wy)dfs1(v[x][i],x,1);
		else dfs1(v[x][i],x,0);
	}
	nf[x]=-1;
	bh[x]=x;
	dis2[x]=0;
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]])continue;
		if(v[x][i]!=wy)dfs1(v[x][i],x,-1);
		if(v[x][i]!=wy)qans+=siz[v[x][i]];
		dfs2(v[x][i],x);
		if(v[x][i]!=wy)dfs1(v[x][i],x,1);
	}
	insert(0,-1);
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]])continue;
		if(v[x][i]!=wy)dfs1(v[x][i],x,-1);
	}
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]]||v[x][i]==wy)continue;
		if(js[v[x][i]].empty())continue;
		dfs1(v[x][i],x,1);
		for(int j=0;j<js[v[x][i]].size();j++)
		{
			int sth=js[v[x][i]][j];
			//printf("!!!orz%d %d\n",sth,query(sth)-query(sth-1));
			qans-=query(sth)-query(sth-1);
		}
		dfs1(v[x][i],x,-1);
		js[v[x][i]].clear();
	}
	//printf("jieshu:%d %d\n",x,qans);
	if(wy!=0)
	{
		nf[x]=-1;
		jg3[x]=false;
		for(int i=0;i<v[x].size();i++)
		{
			if(vis[v[x][i]]||v[x][i]==wy)continue;
			bool flag=false;
			for(int j=0;j<ew[v[x][i]].size();j++)
			{
				if(ew[v[x][i]][j]==wy)
				{
					flag=true;
					break;
				}
			}
			jg3[v[x][i]]=true;
			if(flag==true)dis3[v[x][i]]=0;
			else dis3[v[x][i]]=1;
			dfs3(v[x][i],x,flag);
		}
		insert(0,1);
		dis4[x]=0;
		dis4[wy]=1;
		dis5[x]=1000000000;
		dis5[wy]=0;
		tbh[x]=-1;
		nsd[x]=0;
		dfs4(wy,x);
		for(int i=0;i<v[x].size();i++)
		{
			if(vis[v[x][i]]||v[x][i]==wy)continue;
			dfs5(v[x][i],x);
		}
		qingkong(0);
	}
	//printf("jieshu:%d %d\n",x,qans);
	for(int i=0;i<v[x].size();i++)
	{
		if(vis[v[x][i]])continue;
		sum=siz[v[x][i]];
		if(sum==1)continue;
		rt=0;
		findrt(v[x][i],x);
		solve(rt);
	}
}
int main()
{
	int m,x,y;
	n=read();
	m=read();
	for(int i=1;i<=n-1;i++)
	{
		x=read();
		y=read();
		v[x].push_back(y);
		v[y].push_back(x);
	}
	dfspre(1,0);
	for(int i=1;i<=m;i++)
	{
		x=read();
		y=read();
		int sth=finddis(x,y);
		//printf("???%d\n",sth);
		if(sth==1)continue;
		if(sth>=3)aq[x]=aq[y]=true;
		else
		{
			int zz=0;
			if(x==bz[y][1])zz=bz[y][0];
			else if(y==bz[x][1])zz=bz[x][0];
			else zz=bz[x][0];
			ew[x].push_back(y);
			ew[y].push_back(x);
			zj[x].push_back(zz);
			zj[y].push_back(zz);
		}
	}
	zsl=0;
	for(int i=1;i<=n;i++)if(aq[i])zsl++;
	if(zsl==0)
	{
		printf("0\n");
		return 0;
	}
	dfsaq(1,0);
	//for(int i=1;i<=n;i++)if(aq[i])printf("%d ",i);
	//printf("\n");
	sx=n+1;
	sy[0]=1000000000;
	rt=0;
	sum=n;
	findrt(1,0);
	solve(rt);
//	printf("%lld\n",qans);
	for(int i=1;i<=sx;i++)assert(f[i]==0&&f2[i]==0);
	printf("%lld\n",qans);
	return 0;
}