Average Error: 0.2 → 0.2
Time: 9.9s
Precision: 64
\[\sin x - \cos x\]
\[\sin x - \cos x\]
\sin x - \cos x
\sin x - \cos x
double f(double x) {
        double r1509689 = x;
        double r1509690 = sin(r1509689);
        double r1509691 = cos(r1509689);
        double r1509692 = r1509690 - r1509691;
        return r1509692;
}

double f(double x) {
        double r1509693 = x;
        double r1509694 = sin(r1509693);
        double r1509695 = cos(r1509693);
        double r1509696 = r1509694 - r1509695;
        return r1509696;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.2

    \[\sin x - \cos x\]
  2. Final simplification0.2

    \[\leadsto \sin x - \cos x\]

Reproduce

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