Simplify (tanx+tany)/(cotxcoty)?