Average Error: 0 → 0
Time: 3.0s
Precision: 64
\[\mathsf{min}\left(\sin x, \cos x\right)\]
\[\mathsf{min}\left(\sin x, \cos x\right)\]
\mathsf{min}\left(\sin x, \cos x\right)
\mathsf{min}\left(\sin x, \cos x\right)
double f(double x) {
        double r21154210 = x;
        double r21154211 = sin(r21154210);
        double r21154212 = cos(r21154210);
        double r21154213 = fmin(r21154211, r21154212);
        return r21154213;
}

double f(double x) {
        double r21154214 = x;
        double r21154215 = sin(r21154214);
        double r21154216 = cos(r21154214);
        double r21154217 = fmin(r21154215, r21154216);
        return r21154217;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[\mathsf{min}\left(\sin x, \cos x\right)\]
  2. Final simplification0

    \[\leadsto \mathsf{min}\left(\sin x, \cos x\right)\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "min(sin(x),cos(x))"
  (fmin (sin x) (cos x)))