(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
Results
Initial program 0
Simplified0
[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}
\] |
Final simplification0
herbie shell --seed 1
(FPCore ()
:name "(-420)*(pow(21,2) + 1)"
:precision binary64
(* (- 420.0) (+ (pow 21.0 2.0) 1.0)))