(FPCore (x) :precision binary64 (sin (acos x)))
(FPCore (x) :precision binary64 (sin (acos x)))
double code(double x) { return sin(acos(x)); }
double code(double x) { return sin(acos(x)); }
real(8) function code(x) real(8), intent (in) :: x code = sin(acos(x)) end function
real(8) function code(x) real(8), intent (in) :: x code = sin(acos(x)) end function
public static double code(double x) { return Math.sin(Math.acos(x)); }
public static double code(double x) { return Math.sin(Math.acos(x)); }
def code(x): return math.sin(math.acos(x))
def code(x): return math.sin(math.acos(x))
function code(x) return sin(acos(x)) end
function code(x) return sin(acos(x)) end
function tmp = code(x) tmp = sin(acos(x)); end
function tmp = code(x) tmp = sin(acos(x)); end
code[x_] := N[Sin[N[ArcCos[x], $MachinePrecision]], $MachinePrecision]
code[x_] := N[Sin[N[ArcCos[x], $MachinePrecision]], $MachinePrecision]
\sin \cos^{-1} x
\sin \cos^{-1} x
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 1
(FPCore (x)
:name "sin(acos(x))"
:precision binary64
:pre (and (<= -1000.0 x) (<= x 1000.0))
(sin (acos x)))