History math/auto-libm-test-out-y0