check numerator for double angle rule
use TR10i instead of TR10_inv