Next, we have to use trig identities to equate this with tan(t - pi/4). There are a lot of steps here, i think its easiest to start at either end and meet in the middle. I will show that:
Starting on left side, use angle sum identity for tan. Note tan(pi/4) = 1.