Failure: Test: acosh (0X1.01FB0B7471C13P+0) == 0X1.FD303BDCD51D2P-4 Result: is: 1.24313831329345703125e-01 0x1.fd308000000000000000p-4 should be: 1.24313578009605407715e-01 0x1.fd303c00000000000000p-4 difference: 2.53319740295410156250e-07 0x1.10000000000000000000p-22 ulp : 34.0000 max.ulp : 0.0000
Suspended until somebody comes up with a patch.
When that argument is rounded to float it's 0X1.01FB0CP+0 and the correctly rounded result is 0X1.FD3082P-4. So this is a 1ulp error, not 34ulp. (Since there are no testcases in the testsuite expecting any error from acoshf, we should still add that actual float value to the testsuite.)
Collecting all reports of few-ulps errors together in one meta-bug. *** This bug has been marked as a duplicate of bug 14759 ***