Average Error: 0.3 → 0.3
Time: 7.2s
Precision: 64
$\sqrt{1.270000000000000017763568394002504646778 \cdot x} + \sqrt{x}$
$\sqrt{1.270000000000000017763568394002504646778 \cdot x} + \sqrt{x}$
\sqrt{1.270000000000000017763568394002504646778 \cdot x} + \sqrt{x}
\sqrt{1.270000000000000017763568394002504646778 \cdot x} + \sqrt{x}
double f(double x) {
double r874355 = 1.27;
double r874356 = x;
double r874357 = r874355 * r874356;
double r874358 = sqrt(r874357);
double r874359 = sqrt(r874356);
double r874360 = r874358 + r874359;
return r874360;
}


double f(double x) {
double r874361 = 1.27;
double r874362 = x;
double r874363 = r874361 * r874362;
double r874364 = sqrt(r874363);
double r874365 = sqrt(r874362);
double r874366 = r874364 + r874365;
return r874366;
}



Try it out

Results

 In Out
Enter valid numbers for all inputs

Derivation

1. Initial program 0.3

$\sqrt{1.270000000000000017763568394002504646778 \cdot x} + \sqrt{x}$
2. Final simplification0.3

$\leadsto \sqrt{1.270000000000000017763568394002504646778 \cdot x} + \sqrt{x}$

Reproduce

herbie shell --seed 1
(FPCore (x)
:name "sqrt(1.27*x)+sqrt(x)"
:precision binary64
(+ (sqrt (* 1.27 x)) (sqrt x)))