?

Average Error: 0.0 → 0.0
Time: 3.1s
Precision: binary64
Cost: 6656

?

\[3.14 \leq pi \land pi \leq 3.1416\]
\[{pi}^{100} + 0.01 \]
↓
\[{pi}^{100} + 0.01 \]
(FPCore (pi) :precision binary64 (+ (pow pi 100.0) 0.01))
↓
(FPCore (pi) :precision binary64 (+ (pow pi 100.0) 0.01))
double code(double pi) {
	return pow(pi, 100.0) + 0.01;
}
↓
double code(double pi) {
	return pow(pi, 100.0) + 0.01;
}

real(8) function code(pi)
    real(8), intent (in) :: pi
    code = (pi ** 100.0d0) + 0.01d0
end function
↓
real(8) function code(pi)
    real(8), intent (in) :: pi
    code = (pi ** 100.0d0) + 0.01d0
end function

public static double code(double pi) {
	return Math.pow(pi, 100.0) + 0.01;
}
↓
public static double code(double pi) {
	return Math.pow(pi, 100.0) + 0.01;
}

def code(pi):
	return math.pow(pi, 100.0) + 0.01
↓
def code(pi):
	return math.pow(pi, 100.0) + 0.01

function code(pi)
	return Float64((pi ^ 100.0) + 0.01)
end
↓
function code(pi)
	return Float64((pi ^ 100.0) + 0.01)
end

function tmp = code(pi)
	tmp = (pi ^ 100.0) + 0.01;
end
↓
function tmp = code(pi)
	tmp = (pi ^ 100.0) + 0.01;
end

code[pi_] := N[(N[Power[pi, 100.0], $MachinePrecision] + 0.01), $MachinePrecision]
↓
code[pi_] := N[(N[Power[pi, 100.0], $MachinePrecision] + 0.01), $MachinePrecision]

{pi}^{100} + 0.01
↓
{pi}^{100} + 0.01

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 0.0

    \[{pi}^{100} + 0.01 \]

  2. Final simplification0.0

    \[\leadsto {pi}^{100} + 0.01 \]

Reproduce?

herbie shell --seed 1 
(FPCore (pi)
  :name "pow(pi, 100) + 0.01"
  :precision binary64
  :pre (and (<= 3.14 pi) (<= pi 3.1416))
  (+ (pow pi 100.0) 0.01))