arccos( cos x cos y) -> arccos (1/2 cos(x+y) + 1/2 cos(x-y))
arcos(x) -> pi/2- arctan (sqrt(1-x^2),x)
arcos(x) -> pi/2 + i log( i x +sqrt(1-x^2))
There are formulae for cos(x+y) in terms of products of sin,cos and
consequently nonlinear formulae for (arccos x + arccos y) but not the
other way around
--
Roland Franzius