[math-fun] Multiplicativity of arccos identities