History math/libm-test-y1.inc