[math-fun] Lagrange point quintics