Cross product

Simplify .