arcsin (- 1) = - (PI / 2) by Th7, Th69;