What is sin[2tan1(2)]?