What is sin(sin122)?