dutsinso lujvo

x1 is the trigonometric cosine of angle/arccosine x2.

Cf. sinso, tanjo, selsinso, seltanjo, seldutsinso.

In notes:

seldutsinso
s2 is the angle/arccosine of cosine s1.