Average Error: 0.0 → 0.0
Time: 11.4s
Precision: 64
$1.8 \cdot \left(a - 273.15\right) + 32.0$
$32.0 + \left(a - 273.15\right) \cdot 1.8$
1.8 \cdot \left(a - 273.15\right) + 32.0
32.0 + \left(a - 273.15\right) \cdot 1.8
double f(double a) {
double r39299332 = 1.8;
double r39299333 = a;
double r39299334 = 273.15;
double r39299335 = r39299333 - r39299334;
double r39299336 = r39299332 * r39299335;
double r39299337 = 32.0;
double r39299338 = r39299336 + r39299337;
return r39299338;
}


double f(double a) {
double r39299339 = 32.0;
double r39299340 = a;
double r39299341 = 273.15;
double r39299342 = r39299340 - r39299341;
double r39299343 = 1.8;
double r39299344 = r39299342 * r39299343;
double r39299345 = r39299339 + r39299344;
return r39299345;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.0

$1.8 \cdot \left(a - 273.15\right) + 32.0$
2. Final simplification0.0

$\leadsto 32.0 + \left(a - 273.15\right) \cdot 1.8$

# Reproduce

herbie shell --seed 1
(FPCore (a)
:name "1.8*(a - 273.15) + 32.0"
(+ (* 1.8 (- a 273.15)) 32.0))