# ?

Average Error: 1.0 → 0
Time: 4.0s
Precision: binary64
Cost: 6656

# ?

$\left(\left(-450\right) \cdot {522}^{\left(\frac{-1}{2}\right)}\right) \cdot 20$
${522}^{-0.5} \cdot -9000$
(FPCore ()
:precision binary64
(* (* (- 450.0) (pow 522.0 (/ (- 1.0) 2.0))) 20.0))
(FPCore () :precision binary64 (* (pow 522.0 -0.5) -9000.0))
double code() {
return (-450.0 * pow(522.0, (-1.0 / 2.0))) * 20.0;
}

double code() {
return pow(522.0, -0.5) * -9000.0;
}

real(8) function code()
code = (-450.0d0 * (522.0d0 ** (-1.0d0 / 2.0d0))) * 20.0d0
end function

real(8) function code()
code = (522.0d0 ** (-0.5d0)) * (-9000.0d0)
end function

public static double code() {
return (-450.0 * Math.pow(522.0, (-1.0 / 2.0))) * 20.0;
}

public static double code() {
return Math.pow(522.0, -0.5) * -9000.0;
}

def code():
return (-450.0 * math.pow(522.0, (-1.0 / 2.0))) * 20.0

def code():
return math.pow(522.0, -0.5) * -9000.0

function code()
return Float64(Float64(Float64(-450.0) * (522.0 ^ Float64(Float64(-1.0) / 2.0))) * 20.0)
end

function code()
return Float64((522.0 ^ -0.5) * -9000.0)
end

function tmp = code()
tmp = (-450.0 * (522.0 ^ (-1.0 / 2.0))) * 20.0;
end

function tmp = code()
tmp = (522.0 ^ -0.5) * -9000.0;
end

code[] := N[(N[((-450.0) * N[Power[522.0, N[((-1.0) / 2.0), $MachinePrecision]],$MachinePrecision]), $MachinePrecision] * 20.0),$MachinePrecision]

code[] := N[(N[Power[522.0, -0.5], $MachinePrecision] * -9000.0),$MachinePrecision]

\left(\left(-450\right) \cdot {522}^{\left(\frac{-1}{2}\right)}\right) \cdot 20

{522}^{-0.5} \cdot -9000


# Try it out?

Results

 In Out
Enter valid numbers for all inputs

# Derivation?

1. Initial program 1.0

$\left(\left(-450\right) \cdot {522}^{\left(\frac{-1}{2}\right)}\right) \cdot 20$
2. Simplified0

$\leadsto \color{blue}{{522}^{-0.5} \cdot -9000}$
Proof
[Start]1.0 $\left(\left(-450\right) \cdot {522}^{\left(\frac{-1}{2}\right)}\right) \cdot 20$ $\color{blue}{\left({522}^{\left(\frac{-1}{2}\right)} \cdot \left(-450\right)\right)} \cdot 20$ $\color{blue}{{522}^{\left(\frac{-1}{2}\right)} \cdot \left(\left(-450\right) \cdot 20\right)}$ ${522}^{\left(\frac{\color{blue}{-1}}{2}\right)} \cdot \left(\left(-450\right) \cdot 20\right)$ ${522}^{\color{blue}{-0.5}} \cdot \left(\left(-450\right) \cdot 20\right)$ ${522}^{-0.5} \cdot \left(\color{blue}{-450} \cdot 20\right)$ ${522}^{-0.5} \cdot \color{blue}{-9000}$
3. Final simplification0

$\leadsto {522}^{-0.5} \cdot -9000$

# Reproduce?

herbie shell --seed 1
(FPCore ()
:name "-450*522^(-1/2)*20"
:precision binary64
(* (* (- 450.0) (pow 522.0 (/ (- 1.0) 2.0))) 20.0))