Average Error: 0.3 → 0.3
Time: 8.1s
Precision: 64
Internal precision: 128
\[\frac{a}{-\cos^{-1} a}\]
⬇
\[\frac{a}{-\cos^{-1} a}\]

Error

Bits error versus a

Derivation

  1. Initial program 0.3

    \[\frac{a}{-\cos^{-1} a}\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 8.1s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3386636485 15149761 2753526515 3231425560 2808791772 1150583493)'
(FPCore (a)
  :name "Random Jason Timeout Test 010"
  (/ a (- (acos a))))