((x,y,z) cross (0,0,-1)) cross (x,y,z)