Symbolic crosschecking of floating-point and SIMD code