Agregar Gif como marca de agua en video usando FFmpeg

Question

Estoy tratando de colocar un gif en un video y reproducirlo continuamente hasta que finalice el video. Lo logré usando FFmpeg en Android. A continuación se muestra el código:

String[] command_try=new String[13];
    command_try[0]="-i";
    command_try[1]=video_path;
    command_try[2]="-i";
    command_try[3]=gifthumbnail;
    command_try[4]="-filter_complex";
    command_try[5]="overlay=(main_w-overlay_w)/2:y=(main_h-overlay_h)/2";
    command_try[6]="-pix_fmt";
    command_try[7]="yuv420p";
    command_try[8]="-c:a";
    command_try[9]="copy";
    command_try[10]="-preset";
    command_try[11]="ultrafast";
    command_try[12]="/storage/emulated/0/Pictures/video_24.mp4";

Pero se necesitan entre 2 y 3 minutos para guardar el video con gifs. Solo déjame cómo reducir el tiempo de procesamiento agregando o eliminando cualquier código.