The Extended Watson—Wong—Wyman Lemma in Maple

Watson's lemma is a famous technique for approximate evaluation of integrals with a large parameter. It's easy to implement in Maple, but there's a surprise: Maple's implementation is actually stronger than the lemma, because int and series are so strong. In consequence, we went back and proved a stronger lemma than what had been known. The lemma can improve the speed of evaluating integrals, and we give an extended example with evalhf, the Maple compiler, and the Threads package.