tan70=cot(20), tan80=cot(10)
(tanx)(cotx)=1
(tan10)(tan20)(tan70)(tan80)=(tan10)(tan20)(cot20)(cot10)=1