Musannaf Ibn Abi Shayba 3:1539

Yahya ibn Sa’id narrated to us, from Mujahid, from al-Sha’bi, regarding the man who laughs during the prayer: He said, "He performs the takbir and repeats the prayer."