Hinzufügen eines GIF als Wasserzeichen zum Video mit FFmpeg

Question

Ich versuche, ein GIF auf ein Video zu platzieren und das GIF kontinuierlich abzuspielen, bis das Video zu Ende ist. Das ist mir durch die Verwendung von FFmpeg in Android gelungen. Unten ist der Code:

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";

Das Speichern des Videos mit GIFs dauert jedoch etwa 2–3 Minuten. Lassen Sie mich einfach erklären, wie ich die Verarbeitungszeit durch Hinzufügen oder Entfernen von Code verkürzen kann.