D_r - 1 factorisation: 0
D_r(t0) - 1: 0   D_r(1) - 1: 0
(log D)'(1) + A0: 0
Gamma''(t) formula: 0
1-3r^2-2r t0 + (1-r)^2: 0
Gamma(1) - 1: 0   Gamma'(1) formula: 0
P_1 closed form: 0
quartic = (p-2)(r^2+2r-1) - 2(1-4r^2)(1-r)^2: 0
asymptotic constant: 0   r^2+2r-1 = (r-rs)(r+1+sqrt2): 0
P_1 - 2 near r = 1/2 (series in u, r = 1/2 - u): 8*t + O(t**2)
phi'(r) - L(r): 0
L(r) - 1 - (r^2+2r-1)^2/(4r(1-r^2)): 0
phi_a' numerator: 0
e(0) - r(1+s): 0
Taylor coefficients of phi_a (n=1..6) minus formula: [0, 0, 0, 0, 0, 0]
