Hallar la antiderivada de la siguiente función que involucra productos de funciones trigonométricas inversas:
$$ \int \arcsin(x) \arccos(x) dx $$