#include <bits/stdc++.h>
                                #include<iostream>
                                #include<cstdio>
                                #include<vector>
                                #include<queue>
                                #include<map>
                                #include<cstring>
                                #include<string>
                                #include <math.h>
                                #include<algorithm>
                            //    #include <boost/multiprecision/cpp_int.hpp>
                                #include<functional>
                       #define int long long
                                #define inf  1000000007
                                #define pa pair<int,int>
                                #define ll long long
                                #define pal pair<double,pa>
                                #define ppa pair<pa,int>
                                #define ppap pair<int,pa>
                                #define ssa pair<string,int>
                                #define  mp make_pair
                                #define  pb push_back
                                #define EPS (1e-10)
                                #define equals(a,b) (fabs((a)-(b))<EPS)
                         
                                using namespace std;
                      
                                class Point{
                                	public:
                                	double x,y;
                                	Point(double x=0,double y=0):x(x),y(y) {}
                                	Point operator + (Point p) {return Point(x+p.x,y+p.y);}
                                	Point operator - (Point p) {return Point(x-p.x,y-p.y);}
                                	Point operator * (double a) {return Point(x*a,y*a);}
                                	Point operator / (double a) {return Point(x/a,y/a);}
                                	double absv() {return sqrt(norm());}
                                	double norm() {return x*x+y*y;}
                                	bool operator < (const Point &p) const{
                                		return x != p.x ? x<p.x: y<p.y;
                                	}
                                	bool operator == (const Point &p) const{
                                		return fabs(x-p.x)<EPS && fabs(y-p.y)<EPS;
                                	}
                                };
                                typedef Point Vector;
                         
                                struct Segment{
                                Point p1,p2;
                                };
                                 double dot(Vector a,Vector b){
                                	return a.x*b.x+a.y*b.y;
                                }
                                double cross(Vector a,Vector b){
                                	return a.x*b.y-a.y*b.x;
                                }
                            
    bool parareru(Point a,Point b,Point c,Point d){
    //	if(abs(cross(a-b,d-c))<EPS)cout<<"dd "<<cross(a-b,d-c)<<endl;
    	return abs(cross(a-b,d-c))<EPS;
    }
    double distance_ls_p(Point a, Point b, Point c) {
      if ( dot(b-a, c-a) < EPS ) return (c-a).absv();
      if ( dot(a-b, c-b) < EPS ) return (c-b).absv();
      return abs(cross(b-a, c-a)) / (b-a).absv();
    }
    bool is_intersected_ls(Segment a,Segment b) {
    	if(a.p1==b.p1||a.p2==b.p1||a.p1==b.p2||a.p2==b.p2) return false;
    	if(parareru((a.p2),(a.p1),(a.p1),(b.p2))&&parareru((a.p2),(a.p1),(a.p1),(b.p1))){
    //		cout<<"sss"<<endl;
    		if(dot(a.p1-b.p1,a.p1-b.p2)<EPS) return true;
    		if(dot(a.p2-b.p1,a.p2-b.p2)<EPS) return true;
    		if(dot(a.p1-b.p1,a.p2-b.p1)<EPS) return true;
    		if(dot(a.p1-b.p2,a.p2-b.p2)<EPS) return true;
    		return false;
    	}
      else return ( cross(a.p2-a.p1, b.p1-a.p1) * cross(a.p2-a.p1, b.p2-a.p1) < EPS ) && ( cross(b.p2-b.p1, a.p1-b.p1) * cross(b.p2-b.p1, a.p2-b.p1) < EPS );
    }
     
    double segment_dis(Segment a,Segment b){
    	if(is_intersected_ls(a,b))return 0;
    	double r=distance_ls_p(a.p1, a.p2, b.p1);
    	r=min(r,distance_ls_p(a.p1, a.p2, b.p2));
    	r=min(r,distance_ls_p(b.p1, b.p2, a.p2));
    	r=min(r,distance_ls_p(b.p1, b.p2, a.p1));
    	return r;
    }
    Point intersection_ls(Segment a, Segment b) {
      Point ba = b.p2-b.p1;
      double d1 = abs(cross(ba, a.p1-b.p1));
      double d2 = abs(cross(ba, a.p2-b.p1));
      double t = d1 / (d1 + d2);
     
      return a.p1 + (a.p2-a.p1) * t;
    }
     
                    string itos( int i ) {
                    ostringstream s ;
                    s << i ;
                    return s.str() ;
                    }
                     
                    int gcd(int v,int b){
                    	if(v>b) return gcd(b,v);
                    	if(v==b) return b;
                    	if(b%v==0) return v;
                    	return gcd(v,b%v);
                    }
     
                    double distans(double x1,double y1,double x2,double y2){
                    	double rr=(x1-x2)*(x1-x2)+(y1-y2)*(y1-y2);
                    	return sqrt(rr);
                    	
                    }
                    /*
    int pr[100010];
    //int inv[100010];
    */ 
    int beki(int wa,int rr,int warukazu){
    	if(rr==0) return 1ll;
    	if(rr==1) return wa%warukazu;
    	if(rr%2==1) return (beki(wa,rr-1,warukazu)*wa)%warukazu;
    	int zx=beki(wa,rr/2,warukazu);
    	return (zx*zx)%warukazu;
    }
      /*
    void gya(){
    	pr[0]=1;
    	for(int i=1;i<100010;i++){
    		pr[i]=(pr[i-1]*i)%inf;
    	}
    	for(int i=0;i<100010;i++) inv[i]=beki(pr[i],inf-2);
    	
    }
     
    */
     //sort(ve.begin(),ve.end(),greater<int>());
                             //----------------kokomade tenpure------------
    //vector<double> ans(100000000),ans2(100000000);
    /*
    int par[200100],ranks[200100],kosuu[200100];     
     
    void shoki(int n){
    	for(int i=0;i<n;i++){
    		par[i]=i;
    		ranks[i]=0;
    		kosuu[i]=1;
    	}
    }
     
    int root(int x){
    	return par[x]==x ? x : par[x]=root(par[x]);
    }
     
    bool same(int x,int y){
    return root(x)==root(y);
    }
     
    void unite(int x,int y){
     x=root(x);
     y=root(y);
    	int xx=kosuu[x],yy=kosuu[y];
     if(x==y) return;
    	if(ranks[x]<ranks[y]){
    		par[x]=y;
    		kosuu[y]=yy+xx;
    	}
     else {
    	par[y]=x;
    	if(ranks[x]==ranks[y]) ranks[x]=ranks[x]+1;
     	kosuu[x]=yy+xx;
     }
    	return;
    }
    */


vector<pa> G[100200],G2[100020];


void saiki(int r,int oya){
	
	for(int i=0;i<G[r].size();i++){
		if(G[r][i].first==oya) continue;
		G2[r].pb(G[r][i]);
		saiki(G[r][i].first,r);
	}
}

int fu[100020];
void saiki2(int r,int oya,int fuka){
//	cout<<r<<endl;
	fu[r]=fuka;
	
	for(int i=0;i<G2[r].size();i++){
		saiki2(G2[r][i].first,r,fuka+G2[r][i].second);
	}
}

int t[300],v[300];
int n;
    signed main(){
cin>>n;
    	
    	for(int i=1;i<=n;i++) cin>>t[i];
    	for(int i=1;i<=n;i++) cin>>v[i];
    	v[0]=0;
    	v[n+1]=0;
    	
    	int hi[300],mi[300];
    	
    	hi[0]=0,mi[n]=0;
    	for(int i=1;i<=n;i++){
    			hi[i]=min({v[i+1],v[i],hi[i-1]+t[i]});
    	}
    	for(int i=n-1;i>=0;i--){
    			mi[i]=min({v[i],v[i+1],mi[i+1]+t[i+1]});
    		if(i==1){
    //			cout<<"mi1 "<<mi[i]<<endl;
    		}
    	}
    	
    	int r[300];
    	
    	for(int i=0;i<=n;i++) {
    		r[i]=min(hi[i],mi[i]);
    //		cout<<hi[i]<<" "<<mi[i]<<" "<<r[i]<<endl;
    	}
    	
    	double ans=0;
    	
    	for(int i=1;i<=n;i++){
    		int e1=r[i-1],e2=r[i];
    		if(e1>e2) swap(e1,e2);
    		
    		double tt=(e2-e1+t[i]+0.0)/(2.0);
    		
    		if(e1+tt>v[i]+0.0001){
    			ans += v[i]*t[i];
    			ans -= (v[i]- e1)*(v[i]- e1)/2.0;
    			ans -= (v[i]- e2)*(v[i]- e2)/2.0;
    			
    		}
    		else{
    			
    		double h=e1+tt;
    			
    			ans += (h*(t[i])-tt*tt/2.0-(t[i]-tt)*(t[i]-tt)/2.0);
    		}
    //		cout<<ans<<endl;
    		
    	}
    	printf("%.10lf\n",ans);
  //  cout<<ans<<endl;
    	
    	//          UNRESTORABLE
    	return 0;
    }

Measured memory_bytes: 5120