arcsin x integral representation