?

Average Error: 0 → 0
Time: 1.4s
Precision: binary64
Cost: 64

?

\[\left(-420\right) \cdot \left({21}^{2} + 1\right) \]
\[-185640 \]
(FPCore () :precision binary64 (* (- 420.0) (+ (pow 21.0 2.0) 1.0)))
(FPCore () :precision binary64 -185640.0)
double code() {
	return -420.0 * (pow(21.0, 2.0) + 1.0);
}
double code() {
	return -185640.0;
}
real(8) function code()
    code = -420.0d0 * ((21.0d0 ** 2.0d0) + 1.0d0)
end function
real(8) function code()
    code = -185640.0d0
end function
public static double code() {
	return -420.0 * (Math.pow(21.0, 2.0) + 1.0);
}
public static double code() {
	return -185640.0;
}
def code():
	return -420.0 * (math.pow(21.0, 2.0) + 1.0)
def code():
	return -185640.0
function code()
	return Float64(Float64(-420.0) * Float64((21.0 ^ 2.0) + 1.0))
end
function code()
	return -185640.0
end
function tmp = code()
	tmp = -420.0 * ((21.0 ^ 2.0) + 1.0);
end
function tmp = code()
	tmp = -185640.0;
end
code[] := N[((-420.0) * N[(N[Power[21.0, 2.0], $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]
code[] := -185640.0
\left(-420\right) \cdot \left({21}^{2} + 1\right)
-185640

Error?

Try it out?

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation?

    1. Initial program 0

      \[\left(-420\right) \cdot \left({21}^{2} + 1\right) \]
    2. Simplified0

      \[\leadsto \color{blue}{-185640} \]
      Proof

      [Start]0

      \[ \left(-420\right) \cdot \left({21}^{2} + 1\right) \]

      metadata-eval [=>]0

      \[ \color{blue}{-420} \cdot \left({21}^{2} + 1\right) \]

      metadata-eval [=>]0

      \[ -420 \cdot \left(\color{blue}{441} + 1\right) \]

      metadata-eval [=>]0

      \[ -420 \cdot \color{blue}{442} \]

      metadata-eval [=>]0

      \[ \color{blue}{-185640} \]
    3. Final simplification0

      \[\leadsto -185640 \]

    Reproduce?

    herbie shell --seed 1 
    (FPCore ()
      :name "(-420)*(pow(21,2) + 1)"
      :precision binary64
      (* (- 420.0) (+ (pow 21.0 2.0) 1.0)))