On accurate and provably efficient GARCH option pricing algorithms · Study