Wallis cosine formula