A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
We have cotx+coty=tanxtanytanx+tany, so tanxtany=54. Thus, by the tan sum formula, tan(x+y)=1−tanxtanytanx+tany=20.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: Omni-MATH,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.