Don't have Telegram yet? Try it now!
https://hgpu.org/?p=5543
Symbolic crosschecking of floating-point and SIMD code