Как эффективно создать изображение в формате PNG из GIF (только первый кадр)?

Я попробовал следующее, но это занимает слишком много времени для обработки:

imagepng(imagecreatefromstring(file_get_contents($input)), $output);

где $input анимированный GIF

Любая идея, как быстро преобразовать большой анимированный GIF в неподвижный PNG в PHP? Мне просто нужен первый кадр изображения GIF, конвертированный в PNG, быстро.