Use more efficient group laws for Lainey curves