#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;
int n,m;
ll ans;
struct node
{
	ll x,y,v;
}p[1010];
ll s[1010],f[1010][1010];
inline int rd()
{
	int ret=0,f=1;	char gc=getchar();
	while(gc<‘0‘||gc>‘9‘)	{if(gc==‘-‘)	f=-f;	gc=getchar();}
	while(gc>=‘0‘&&gc<=‘9‘)	ret=ret*10+(gc^‘0‘),gc=getchar();
	return ret*f;
}
bool cmp(const node &a,const node &b)
{
	return a.x<b.x;
}
inline ll cost(int a,int b,int c)
{
	return abs(p[c].x-p[b].x)*(s[n]-s[max(a,b)]+s[min(a,b)-1]);
}
int main()
{
	n=rd()+1,p[n].x=rd(),p[n].y=100000;
	int i,j;
	for(i=1;i<n;i++)	p[i].x=rd();
	for(i=1;i<n;i++)	p[i].y=rd();
	for(i=1;i<n;i++)	p[i].v=rd();
	sort(p+1,p+n+1,cmp);
	for(i=1;i<=n;i++)
	{
		if(p[i].y==100000)	f[i][i]=0,m=i;
		else	f[i][i]=-1ll<<60;
	}
	for(i=1;i<=n;i++)	s[i]=s[i-1]+p[i].v;
	for(j=1;j<=n;j++)
	{
		for(i=1;i+j<=n;i++)
		{
			f[i][i+j]=max(f[i][i+j-1]-cost(i,i+j-1,i+j),f[i+j-1][i]-cost(i+j-1,i,i+j))+p[i+j].y;
			f[i+j][i]=max(f[i+1][i+j]-cost(i+1,i+j,i),f[i+j][i+1]-cost(i+j,i+1,i))+p[i].y;
		}
	}
	ans=max(f[1][n],f[n][1]);
	if(ans<0)	ans=-ans,printf("-");
	printf("%lld.%03lld",ans/1000,ans%1000);
	return 0;
}