What does sin(arccos(1))2cot(arcsec(3)) equal?