SMath fails to compute the cross product of two vectors, if one of them (or possibly both) is a product with a symbolic constant and a vector (a scaled vector).
SMath complains that the vector product is only defined for three-element vectors.
This is particularly nasty, as this applies also to vectors normalized by division by their length.

Technische Mechanik mit SMath Studio: https://link.springer.com/book/10.1007/978-3-658-50592-9