¿Existe un doble IEEEx>0 tal quesqrt(x*x) ≠ x, bajo la condición de que el cálculox*x no se desborda o desborda aInf, 0o un número denormal?

Esto es dado quesqrt devuelve el resultado representable más cercano, y también lo hacex*x (ambos según lo ordenado por el estándar IEEE, "la operación de raíz cuadrada se calculará como si tuviera una precisión infinita, y luego se redondeará a uno de los dos números de punto flotante más cercanos de la precisión especificada que rodea el resultado infinitamente preciso").

Bajo el supuesto de que si existieran tales dobles, entonces probablemente haya ejemplos cercanos a 1, escribí un programa para encontrar estos contraejemplos, y no pudo encontrar ninguno entre1.0 y1.0000004780981346.

La pregunta similar anteriorcuadrados perfectos y números de coma flotante responde negativamente a la pregunta para situaciones en las que el cálculo dex*x haceno implican redondeo. Esa respuesta no es suficiente para esta pregunta porque puede ser posible parax*x para involucrar el redondeo en una dirección, luegosqrt(x*x) para implicar redondeo en elmismo dirección, produciendo así una respuesta que no es exactamentex.