Average Error: 0.0 → 0.0
Time: 8.1s
Precision: 64
\[\frac{\sin^{-1} x - 1}{2}\]
\[\frac{\sin^{-1} x - 1}{2}\]
\frac{\sin^{-1} x - 1}{2}
\frac{\sin^{-1} x - 1}{2}
double f(double x) {
        double r23466797 = x;
        double r23466798 = asin(r23466797);
        double r23466799 = 1.0;
        double r23466800 = r23466798 - r23466799;
        double r23466801 = 2.0;
        double r23466802 = r23466800 / r23466801;
        return r23466802;
}

double f(double x) {
        double r23466803 = x;
        double r23466804 = asin(r23466803);
        double r23466805 = 1.0;
        double r23466806 = r23466804 - r23466805;
        double r23466807 = 2.0;
        double r23466808 = r23466806 / r23466807;
        return r23466808;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{\sin^{-1} x - 1}{2}\]
  2. Final simplification0.0

    \[\leadsto \frac{\sin^{-1} x - 1}{2}\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "(asin(x)-1)/2"
  (/ (- (asin x) 1.0) 2.0))