solve(tg(a)/tg(2a)-tg(a)==cos(2a),a