fabs fraction 2

Average Error: 0 → 0

Time: 960.0ms

Precision: binary64

Cost: 6720

Math

\[\frac{\left|a - b\right|}{2} \]

↓

\[\frac{\left|a - b\right|}{2} \]

FPCore

(FPCore (a b) :precision binary64 (/ (fabs (- a b)) 2.0))

↓

(FPCore (a b) :precision binary64 (/ (fabs (- a b)) 2.0))

C

double code(double a, double b) {
	return fabs((a - b)) / 2.0;
}

↓

double code(double a, double b) {
	return fabs((a - b)) / 2.0;
}

Fortran

real(8) function code(a, b)
    real(8), intent (in) :: a
    real(8), intent (in) :: b
    code = abs((a - b)) / 2.0d0
end function

↓

real(8) function code(a, b)
    real(8), intent (in) :: a
    real(8), intent (in) :: b
    code = abs((a - b)) / 2.0d0
end function

Java

public static double code(double a, double b) {
	return Math.abs((a - b)) / 2.0;
}

↓

public static double code(double a, double b) {
	return Math.abs((a - b)) / 2.0;
}

Python

def code(a, b):
	return math.fabs((a - b)) / 2.0

↓

def code(a, b):
	return math.fabs((a - b)) / 2.0

Julia

function code(a, b)
	return Float64(abs(Float64(a - b)) / 2.0)
end

↓

function code(a, b)
	return Float64(abs(Float64(a - b)) / 2.0)
end

MATLAB

function tmp = code(a, b)
	tmp = abs((a - b)) / 2.0;
end

↓

function tmp = code(a, b)
	tmp = abs((a - b)) / 2.0;
end

Wolfram

code[a_, b_] := N[(N[Abs[N[(a - b), $MachinePrecision]], $MachinePrecision] / 2.0), $MachinePrecision]

↓

code[a_, b_] := N[(N[Abs[N[(a - b), $MachinePrecision]], $MachinePrecision] / 2.0), $MachinePrecision]

Derivation

1. Initial program 0

   \[\frac{\left|a - b\right|}{2} \]

2. Final simplification 0

   \[\leadsto \frac{\left|a - b\right|}{2} \]

Reproduce

herbie shell --seed 2023040 
(FPCore (a b)
  :name "fabs fraction 2"
  :precision binary64
  (/ (fabs (- a b)) 2.0))