Simplify cos(x)(1+tan(2)(x))