added ``sin(2*x)/sin(x) -> 2*cos(x)`` rule
replace_add2 for cos(x)**2 + sin(x)**2 -> 1; taken away code with
``separatevars`` at the beginning of ``trigsimp``