Average Error: 23.9 → 23.9
Time: 15.9s
Precision: 64
\[{\left(\sin x\right)}^{2}\]
\[{\left(\sin x\right)}^{2}\]
{\left(\sin x\right)}^{2}
{\left(\sin x\right)}^{2}
double f(double x) {
        double r25543127 = x;
        double r25543128 = sin(r25543127);
        double r25543129 = 2.0;
        double r25543130 = pow(r25543128, r25543129);
        return r25543130;
}

double f(double x) {
        double r25543131 = x;
        double r25543132 = sin(r25543131);
        double r25543133 = 2.0;
        double r25543134 = pow(r25543132, r25543133);
        return r25543134;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 23.9

    \[{\left(\sin x\right)}^{2}\]
  2. Final simplification23.9

    \[\leadsto {\left(\sin x\right)}^{2}\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "pow(sin(x),2)"
  (pow (sin x) 2.0))