trigonometric-identity-proving-calculator
provar \frac{\sin(3x)+\sin(7x)}{\cos(3x)-\cos(7x)}=\cot(2x)
zs