add is_zero and is_one properties to Factors
fix doctest error in trigsimp
check numerator for double angle rule