This is avoiding an common but unnecesary round trip. When your inputs are vectors, angles are an unnecessary intermediate representation. You can substitute the geometric meaning of dot and cross product directly into the Rodrigues matrix and get by with less operations overall. It's more elegant, uses less instructions.

That’s exactly what I mean, there are no inverse trig that needs to be involved anywhere, see the matrix section in the article. It is trivial to recognize that vector inputs are pretty much the same space the k coefficients and mentally treat cos and sin as a shorthand symbol in terms of vector products.

And in any case inverse trig functions are just components of logarithms of quaternions, and trig is components of exponentiating half-axis-angle into quaternions.

The point isn't that formula, it's that using angles for parameters or intermediary values is often wasteful.

It is not.

Rust is a Bugatti Veyron, Zig is a McLaren F1.

General Processing Units

Gross-Parallelization Units

Generative Procedure Units

Gratuitously Profiteering Unscrupulously

Greed Processing Units

This is just brilliant!

Sometimes Gibberish Producing Units

Gibberish Pipeline Units

General Parallel Units

Maybe they mandated to use AI for quality control?

(should be Psychic Girl)

As in, knows the future?

Any sufficiently advanced incompetence is indistinguishable from malice.

People in this thread discussing the merits of the satire seriously are completely missing the joke over their head that the entire thing was meant to be just a setup for the Rewrite It In Rust punchline.

See also: https://longestjokeintheworld.com/