?

\[\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

Derivation?

Initial program 1.0
\[\left(\left(-450\right) \cdot {522}^{\left(\frac{-1}{2}\right)}\right) \cdot 20 \]

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 \]
*-commutative [=>]1.0	\[ \color{blue}{\left({522}^{\left(\frac{-1}{2}\right)} \cdot \left(-450\right)\right)} \cdot 20 \]
associate-l [=>]0	\[ \color{blue}{{522}^{\left(\frac{-1}{2}\right)} \cdot \left(\left(-450\right) \cdot 20\right)} \]
metadata-eval [=>]0	\[ {522}^{\left(\frac{\color{blue}{-1}}{2}\right)} \cdot \left(\left(-450\right) \cdot 20\right) \]
metadata-eval [=>]0	\[ {522}^{\color{blue}{-0.5}} \cdot \left(\left(-450\right) \cdot 20\right) \]
metadata-eval [=>]0	\[ {522}^{-0.5} \cdot \left(\color{blue}{-450} \cdot 20\right) \]
metadata-eval [=>]0	\[ {522}^{-0.5} \cdot \color{blue}{-9000} \]

In
Out