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