Average Error: 0.0 → 0.0
Time: 10.8s
Precision: 64
${\left(x \cdot \sin x + \cos x\right)}^{x}$
${\left(x \cdot \sin x + \cos x\right)}^{x}$
{\left(x \cdot \sin x + \cos x\right)}^{x}
{\left(x \cdot \sin x + \cos x\right)}^{x}
double f(double x) {
double r1103615 = x;
double r1103616 = sin(r1103615);
double r1103617 = r1103615 * r1103616;
double r1103618 = cos(r1103615);
double r1103619 = r1103617 + r1103618;
double r1103620 = pow(r1103619, r1103615);
return r1103620;
}


double f(double x) {
double r1103621 = x;
double r1103622 = sin(r1103621);
double r1103623 = r1103621 * r1103622;
double r1103624 = cos(r1103621);
double r1103625 = r1103623 + r1103624;
double r1103626 = pow(r1103625, r1103621);
return r1103626;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.0

${\left(x \cdot \sin x + \cos x\right)}^{x}$
2. Final simplification0.0

$\leadsto {\left(x \cdot \sin x + \cos x\right)}^{x}$

# Reproduce

herbie shell --seed 1
(FPCore (x)
:name "pow(x * sin(x) + cos(x), x)"
:precision binary64
(pow (+ (* x (sin x)) (cos x)) x))