# ?

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


# Try it out?

Results

 In Out
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)$ $\color{blue}{-420} \cdot \left({21}^{2} + 1\right)$ $-420 \cdot \left(\color{blue}{441} + 1\right)$ $-420 \cdot \color{blue}{442}$ $\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)))