cot(x)sin(x)−sin((π2)−x)+cos(x)