How do you evaluate arcsin (1/2)arcsin(12)?