Let $x$ and $y$ be two real numbers such that \( 2 \sin x \sin y + 3 \cos y + 6 \cos x \sin y = 7 \). Find \( \tan^2 x + 2 \tan^2 y \).

Let's think step by step and output the final answer within \boxed{}.
user