More agressive optimization made the results differ a bit more than the current error margin would allow. Bump the error margin to be 1e-6 instead of the previous 0.5e-7.
More agressive optimization made the results differ a bit more than the current error margin would allow. Bump the error margin to be 1e-6 instead of the previous 0.5e-7.