((1-cos 2x)(1+tan 2x)) == tan 2x