Exception for bug500 (missed optimization)

Specification

\[-1000 < x \land x < 1000\]

\[\begin{array}{l} \\ \sin x - x \end{array} \]

(FPCore (x) :precision binary64 (- (sin x) x))

double code(double x) {
	return sin(x) - x;
}

real(8) function code(x)
    real(8), intent (in) :: x
    code = sin(x) - x
end function

public static double code(double x) {
	return Math.sin(x) - x;
}

def code(x):
	return math.sin(x) - x

function code(x)
	return Float64(sin(x) - x)
end

function tmp = code(x)
	tmp = sin(x) - x;
end

code[x_] := N[(N[Sin[x], $MachinePrecision] - x), $MachinePrecision]

\begin{array}{l}

\\
\sin x - x
\end{array}