Average Error: 0 → 0
Time: 2.0s
Precision: 64
\[\sin \left(\tan 3\right)\]
\[\sin \left(\tan 3\right)\]
\sin \left(\tan 3\right)
\sin \left(\tan 3\right)
double f() {
        double r793057 = 3.0;
        double r793058 = tan(r793057);
        double r793059 = sin(r793058);
        return r793059;
}

double f() {
        double r793060 = 3.0;
        double r793061 = tan(r793060);
        double r793062 = sin(r793061);
        return r793062;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\sin \left(\tan 3\right)\]
    2. Final simplification0

      \[\leadsto \sin \left(\tan 3\right)\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "sin(tan(3))"
      :precision binary64
      (sin (tan 3)))