How do you prove 2 arcsin x = arccos(1 − 2x^2)?