use vdt instead of x87 sincos