?

Average Error: 0.6 → 0.6
Time: 5.2s
Precision: binary64
Cost: 12928

?

\[-1000000000 \leq x \land x \leq 1000000000\]
\[\sin \left(\pi \cdot x\right) \]
↓
\[\sin \left(\pi \cdot x\right) \]
(FPCore (x) :precision binary64 (sin (* PI x)))
↓
(FPCore (x) :precision binary64 (sin (* PI x)))
double code(double x) {
	return sin((((double) M_PI) * x));
}
↓
double code(double x) {
	return sin((((double) M_PI) * x));
}

public static double code(double x) {
	return Math.sin((Math.PI * x));
}
↓
public static double code(double x) {
	return Math.sin((Math.PI * x));
}

def code(x):
	return math.sin((math.pi * x))
↓
def code(x):
	return math.sin((math.pi * x))

function code(x)
	return sin(Float64(pi * x))
end
↓
function code(x)
	return sin(Float64(pi * x))
end

function tmp = code(x)
	tmp = sin((pi * x));
end
↓
function tmp = code(x)
	tmp = sin((pi * x));
end

code[x_] := N[Sin[N[(Pi * x), $MachinePrecision]], $MachinePrecision]
↓
code[x_] := N[Sin[N[(Pi * x), $MachinePrecision]], $MachinePrecision]

\sin \left(\pi \cdot x\right)
↓
\sin \left(\pi \cdot x\right)

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 0.6

    \[\sin \left(\pi \cdot x\right) \]

  2. Final simplification0.6

    \[\leadsto \sin \left(\pi \cdot x\right) \]

Alternatives

Alternative 1
Error2.6
Cost6528
\[\pi \cdot x \]

Error

Reproduce?

herbie shell --seed 1 
(FPCore (x)
  :name "sin(PI*x)"
  :precision binary64
  :pre (and (<= -1000000000.0 x) (<= x 1000000000.0))
  (sin (* PI x)))