Alternative 1 | |
---|---|
Error | 0.0 |
Cost | 7168 |
\[\left(1 - {a}^{3}\right) \cdot \left(1 - b \cdot \left(b \cdot b\right)\right)
\]
(FPCore (a b) :precision binary64 (* (- 1.0 (* (* a a) a)) (- 1.0 (* (* b b) b))))
(FPCore (a b) :precision binary64 (* (- 1.0 (pow a 3.0)) (- 1.0 (pow b 3.0))))
double code(double a, double b) { return (1.0 - ((a * a) * a)) * (1.0 - ((b * b) * b)); }
double code(double a, double b) { return (1.0 - pow(a, 3.0)) * (1.0 - pow(b, 3.0)); }
real(8) function code(a, b) real(8), intent (in) :: a real(8), intent (in) :: b code = (1.0d0 - ((a * a) * a)) * (1.0d0 - ((b * b) * b)) end function
real(8) function code(a, b) real(8), intent (in) :: a real(8), intent (in) :: b code = (1.0d0 - (a ** 3.0d0)) * (1.0d0 - (b ** 3.0d0)) end function
public static double code(double a, double b) { return (1.0 - ((a * a) * a)) * (1.0 - ((b * b) * b)); }
public static double code(double a, double b) { return (1.0 - Math.pow(a, 3.0)) * (1.0 - Math.pow(b, 3.0)); }
def code(a, b): return (1.0 - ((a * a) * a)) * (1.0 - ((b * b) * b))
def code(a, b): return (1.0 - math.pow(a, 3.0)) * (1.0 - math.pow(b, 3.0))
function code(a, b) return Float64(Float64(1.0 - Float64(Float64(a * a) * a)) * Float64(1.0 - Float64(Float64(b * b) * b))) end
function code(a, b) return Float64(Float64(1.0 - (a ^ 3.0)) * Float64(1.0 - (b ^ 3.0))) end
function tmp = code(a, b) tmp = (1.0 - ((a * a) * a)) * (1.0 - ((b * b) * b)); end
function tmp = code(a, b) tmp = (1.0 - (a ^ 3.0)) * (1.0 - (b ^ 3.0)); end
code[a_, b_] := N[(N[(1.0 - N[(N[(a * a), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[(N[(b * b), $MachinePrecision] * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
code[a_, b_] := N[(N[(1.0 - N[Power[a, 3.0], $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[Power[b, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\left(1 - \left(a \cdot a\right) \cdot a\right) \cdot \left(1 - \left(b \cdot b\right) \cdot b\right)
\left(1 - {a}^{3}\right) \cdot \left(1 - {b}^{3}\right)
Results
Initial program 0.0
Simplified0.0
Final simplification0.0
Alternative 1 | |
---|---|
Error | 0.0 |
Cost | 7168 |
Alternative 2 | |
---|---|
Error | 0.0 |
Cost | 7168 |
Alternative 3 | |
---|---|
Error | 0.0 |
Cost | 960 |
herbie shell --seed 1
(FPCore (a b)
:name "(1-a*a*a)*(1-b*b*b)"
:precision binary64
:pre (and (and (<= -1000000000.0 a) (<= a 1000000000.0)) (and (<= -1000000000.0 b) (<= b 1000000000.0)))
(* (- 1.0 (* (* a a) a)) (- 1.0 (* (* b b) b))))