RT,悬赏猫娘@54ycy 一只，赠送FG

已知 $x,y \in \left(0,\frac{\pi}{2}\right)$ 且 $\tan\left(x\right)\tan\left(y\right)+\tan\left(x\right)\sin\left(y\right)-\sin\left(x\right)\leq1$

求 $x^{2}-2\left(y-1\right)^{2}$ 的最大值

答案看不懂，求助股民。