Precomputed expressions used in the proof of Lemma 4.7
Bryant et al. Algorithms for Molecular Biology 2007 2:8 doi:10.1186/1748-7188-2-8