回顾：证明恒等式

证明 $\cos\left(x\right)\tan\left(x\right)+\sin\left(x\right)$ 等于 $2\sin\left(x\right)$：不断改写，直到板上显示 $2\sin\left(x\right)$。然后按“检查”。