TODO. This function was completely rewritten using machine-generated
polynomials. Gappa proofs were automatically generated, too, and are
available in the \texttt{gappa/asin} directory. This chapter will be
updated soon.
