Reported at this SF bug, we have

solve([sin(cos(x))/cos(x)==0],x) gives: 
[x == 1/2*pi]

Upstream: Reported upstream. No feedback yet.

Component: calculus

Issue created by migration from https://trac.sagemath.org/ticket/16593