how to simplify cos²Ф(tan²Ф-1)