?

Average Error: 3.5 → 3.5
Time: 1.5s
Precision: binary64
Cost: 13248

?

\[1.99 \leq x \land x \leq 2.01\]
\[\cos x \cdot e^{10 \cdot \left(x \cdot x\right)} \]
↓
\[\cos x \cdot e^{10 \cdot \left(x \cdot x\right)} \]
(FPCore (x) :precision binary64 (* (cos x) (exp (* 10.0 (* x x)))))
↓
(FPCore (x) :precision binary64 (* (cos x) (exp (* 10.0 (* x x)))))
double code(double x) {
	return cos(x) * exp((10.0 * (x * x)));
}
↓
double code(double x) {
	return cos(x) * exp((10.0 * (x * x)));
}

real(8) function code(x)
    real(8), intent (in) :: x
    code = cos(x) * exp((10.0d0 * (x * x)))
end function
↓
real(8) function code(x)
    real(8), intent (in) :: x
    code = cos(x) * exp((10.0d0 * (x * x)))
end function

public static double code(double x) {
	return Math.cos(x) * Math.exp((10.0 * (x * x)));
}
↓
public static double code(double x) {
	return Math.cos(x) * Math.exp((10.0 * (x * x)));
}

def code(x):
	return math.cos(x) * math.exp((10.0 * (x * x)))
↓
def code(x):
	return math.cos(x) * math.exp((10.0 * (x * x)))

function code(x)
	return Float64(cos(x) * exp(Float64(10.0 * Float64(x * x))))
end
↓
function code(x)
	return Float64(cos(x) * exp(Float64(10.0 * Float64(x * x))))
end

function tmp = code(x)
	tmp = cos(x) * exp((10.0 * (x * x)));
end
↓
function tmp = code(x)
	tmp = cos(x) * exp((10.0 * (x * x)));
end

code[x_] := N[(N[Cos[x], $MachinePrecision] * N[Exp[N[(10.0 * N[(x * x), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
↓
code[x_] := N[(N[Cos[x], $MachinePrecision] * N[Exp[N[(10.0 * N[(x * x), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

\cos x \cdot e^{10 \cdot \left(x \cdot x\right)}
↓
\cos x \cdot e^{10 \cdot \left(x \cdot x\right)}

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 3.5

    \[\cos x \cdot e^{10 \cdot \left(x \cdot x\right)} \]

  2. Final simplification3.5

    \[\leadsto \cos x \cdot e^{10 \cdot \left(x \cdot x\right)} \]

Alternatives

Alternative 1
Error57.8
Cost6592
\[\cos x \cdot 1 \]

Error

Reproduce?

herbie shell --seed 2023096 
(FPCore (x)
  :name "ENA, Section 1.4, Exercise 1"
  :precision binary64
  :pre (and (<= 1.99 x) (<= x 2.01))
  (* (cos x) (exp (* 10.0 (* x x)))))