
(FPCore (a b c d e) :precision binary64 (+ (+ (+ (+ e d) c) b) a))
double code(double a, double b, double c, double d, double e) {
return (((e + d) + c) + b) + a;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = (((e + d) + c) + b) + a
end function
public static double code(double a, double b, double c, double d, double e) {
return (((e + d) + c) + b) + a;
}
def code(a, b, c, d, e): return (((e + d) + c) + b) + a
function code(a, b, c, d, e) return Float64(Float64(Float64(Float64(e + d) + c) + b) + a) end
function tmp = code(a, b, c, d, e) tmp = (((e + d) + c) + b) + a; end
code[a_, b_, c_, d_, e_] := N[(N[(N[(N[(e + d), $MachinePrecision] + c), $MachinePrecision] + b), $MachinePrecision] + a), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(\left(e + d\right) + c\right) + b\right) + a
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b c d e) :precision binary64 (+ (+ (+ (+ e d) c) b) a))
double code(double a, double b, double c, double d, double e) {
return (((e + d) + c) + b) + a;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = (((e + d) + c) + b) + a
end function
public static double code(double a, double b, double c, double d, double e) {
return (((e + d) + c) + b) + a;
}
def code(a, b, c, d, e): return (((e + d) + c) + b) + a
function code(a, b, c, d, e) return Float64(Float64(Float64(Float64(e + d) + c) + b) + a) end
function tmp = code(a, b, c, d, e) tmp = (((e + d) + c) + b) + a; end
code[a_, b_, c_, d_, e_] := N[(N[(N[(N[(e + d), $MachinePrecision] + c), $MachinePrecision] + b), $MachinePrecision] + a), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(\left(e + d\right) + c\right) + b\right) + a
\end{array}
(FPCore (a b c d e) :precision binary64 (+ (+ (+ a (+ c b)) e) d))
double code(double a, double b, double c, double d, double e) {
return ((a + (c + b)) + e) + d;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = ((a + (c + b)) + e) + d
end function
public static double code(double a, double b, double c, double d, double e) {
return ((a + (c + b)) + e) + d;
}
def code(a, b, c, d, e): return ((a + (c + b)) + e) + d
function code(a, b, c, d, e) return Float64(Float64(Float64(a + Float64(c + b)) + e) + d) end
function tmp = code(a, b, c, d, e) tmp = ((a + (c + b)) + e) + d; end
code[a_, b_, c_, d_, e_] := N[(N[(N[(a + N[(c + b), $MachinePrecision]), $MachinePrecision] + e), $MachinePrecision] + d), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(a + \left(c + b\right)\right) + e\right) + d
\end{array}
Initial program 99.3%
lift-+.f64N/A
lift-+.f64N/A
lift-+.f64N/A
associate-+l+N/A
associate-+l+N/A
lift-+.f64N/A
+-commutativeN/A
associate-+l+N/A
lower-+.f64N/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6499.6
Applied rewrites99.6%
Final simplification99.6%
(FPCore (a b c d e) :precision binary64 (+ (+ (+ b e) (+ a d)) c))
double code(double a, double b, double c, double d, double e) {
return ((b + e) + (a + d)) + c;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = ((b + e) + (a + d)) + c
end function
public static double code(double a, double b, double c, double d, double e) {
return ((b + e) + (a + d)) + c;
}
def code(a, b, c, d, e): return ((b + e) + (a + d)) + c
function code(a, b, c, d, e) return Float64(Float64(Float64(b + e) + Float64(a + d)) + c) end
function tmp = code(a, b, c, d, e) tmp = ((b + e) + (a + d)) + c; end
code[a_, b_, c_, d_, e_] := N[(N[(N[(b + e), $MachinePrecision] + N[(a + d), $MachinePrecision]), $MachinePrecision] + c), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(b + e\right) + \left(a + d\right)\right) + c
\end{array}
Initial program 99.3%
lift-+.f64N/A
lift-+.f64N/A
lift-+.f64N/A
associate-+l+N/A
associate-+l+N/A
lift-+.f64N/A
+-commutativeN/A
associate-+l+N/A
lower-+.f64N/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6499.6
Applied rewrites99.6%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
lift-+.f64N/A
associate-+r+N/A
associate-+l+N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
associate-+l+N/A
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
lift-+.f64N/A
associate-+l+N/A
associate-+l+N/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6499.5
Applied rewrites99.5%
Final simplification99.5%
(FPCore (a b c d e) :precision binary64 (+ (+ (+ b e) d) c))
double code(double a, double b, double c, double d, double e) {
return ((b + e) + d) + c;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = ((b + e) + d) + c
end function
public static double code(double a, double b, double c, double d, double e) {
return ((b + e) + d) + c;
}
def code(a, b, c, d, e): return ((b + e) + d) + c
function code(a, b, c, d, e) return Float64(Float64(Float64(b + e) + d) + c) end
function tmp = code(a, b, c, d, e) tmp = ((b + e) + d) + c; end
code[a_, b_, c_, d_, e_] := N[(N[(N[(b + e), $MachinePrecision] + d), $MachinePrecision] + c), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(b + e\right) + d\right) + c
\end{array}
Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6425.7
Applied rewrites25.7%
Applied rewrites25.7%
(FPCore (a b c d e) :precision binary64 (+ (+ b d) (+ c e)))
double code(double a, double b, double c, double d, double e) {
return (b + d) + (c + e);
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = (b + d) + (c + e)
end function
public static double code(double a, double b, double c, double d, double e) {
return (b + d) + (c + e);
}
def code(a, b, c, d, e): return (b + d) + (c + e)
function code(a, b, c, d, e) return Float64(Float64(b + d) + Float64(c + e)) end
function tmp = code(a, b, c, d, e) tmp = (b + d) + (c + e); end
code[a_, b_, c_, d_, e_] := N[(N[(b + d), $MachinePrecision] + N[(c + e), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(b + d\right) + \left(c + e\right)
\end{array}
Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6425.7
Applied rewrites25.7%
Applied rewrites25.7%
Final simplification25.7%
(FPCore (a b c d e) :precision binary64 (+ (+ e d) c))
double code(double a, double b, double c, double d, double e) {
return (e + d) + c;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = (e + d) + c
end function
public static double code(double a, double b, double c, double d, double e) {
return (e + d) + c;
}
def code(a, b, c, d, e): return (e + d) + c
function code(a, b, c, d, e) return Float64(Float64(e + d) + c) end
function tmp = code(a, b, c, d, e) tmp = (e + d) + c; end
code[a_, b_, c_, d_, e_] := N[(N[(e + d), $MachinePrecision] + c), $MachinePrecision]
\begin{array}{l}
\\
\left(e + d\right) + c
\end{array}
Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6425.7
Applied rewrites25.7%
Taylor expanded in b around 0
Applied rewrites23.2%
Final simplification23.2%
(FPCore (a b c d e) :precision binary64 (+ e d))
double code(double a, double b, double c, double d, double e) {
return e + d;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = e + d
end function
public static double code(double a, double b, double c, double d, double e) {
return e + d;
}
def code(a, b, c, d, e): return e + d
function code(a, b, c, d, e) return Float64(e + d) end
function tmp = code(a, b, c, d, e) tmp = e + d; end
code[a_, b_, c_, d_, e_] := N[(e + d), $MachinePrecision]
\begin{array}{l}
\\
e + d
\end{array}
Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
lower-+.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6425.7
Applied rewrites25.7%
Taylor expanded in b around 0
Applied rewrites23.2%
Taylor expanded in c around 0
Applied rewrites21.1%
(FPCore (a b c d e) :precision binary64 (+ (+ d (+ c (+ a b))) e))
double code(double a, double b, double c, double d, double e) {
return (d + (c + (a + b))) + e;
}
real(8) function code(a, b, c, d, e)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8), intent (in) :: e
code = (d + (c + (a + b))) + e
end function
public static double code(double a, double b, double c, double d, double e) {
return (d + (c + (a + b))) + e;
}
def code(a, b, c, d, e): return (d + (c + (a + b))) + e
function code(a, b, c, d, e) return Float64(Float64(d + Float64(c + Float64(a + b))) + e) end
function tmp = code(a, b, c, d, e) tmp = (d + (c + (a + b))) + e; end
code[a_, b_, c_, d_, e_] := N[(N[(d + N[(c + N[(a + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + e), $MachinePrecision]
\begin{array}{l}
\\
\left(d + \left(c + \left(a + b\right)\right)\right) + e
\end{array}
herbie shell --seed 2024273
(FPCore (a b c d e)
:name "Expression 1, p15"
:precision binary64
:pre (and (and (and (and (and (and (and (and (and (<= 1.0 a) (<= a 2.0)) (<= 2.0 b)) (<= b 4.0)) (<= 4.0 c)) (<= c 8.0)) (<= 8.0 d)) (<= d 16.0)) (<= 16.0 e)) (<= e 32.0))
:alt
(! :herbie-platform default (+ (+ d (+ c (+ a b))) e))
(+ (+ (+ (+ e d) c) b) a))