JC69 theorem: d=−3/4·log(1−4p/3); d≈p Taylor; t_div=d/(2μ); Var·L=−9p(p−1)/(4p−3)²

Sympy-exact symbolic witness of the Jukes-Cantor 1969 molecular-distance correction canonical identities. Setup: p, μ, L — all positive symbols. JC69 distance: d = −(3/4)·log(1 − 4p/3) (sympy canonical '-3*log(1 - 4*p/3)/4' — the…