Average Error: 7.1 → 7.1
Time: 7.4s
Precision: binary64
\[\sqrt{\frac{-4}{3} \cdot p} \cdot \cos \left(\frac{1}{3} \cdot \cos^{-1} \left(\frac{-q}{w} \cdot \sqrt{\frac{-27}{{p}^{3}}}\right)\right) - \frac{b}{3} \cdot a\]
↓
\[\sqrt{\frac{-4}{3} \cdot p} \cdot \cos \left(\frac{1}{3} \cdot \cos^{-1} \left(\frac{-q}{w} \cdot \sqrt{\frac{-27}{{p}^{3}}}\right)\right) - \frac{b}{3} \cdot a\]

Error

Bits error versus p

Bits error versus q

Bits error versus w

Bits error versus b

Bits error versus a

Derivation

  1. Initial program 7.1

    \[\sqrt{\frac{-4}{3} \cdot p} \cdot \cos \left(\frac{1}{3} \cdot \cos^{-1} \left(\frac{-q}{w} \cdot \sqrt{\frac{-27}{{p}^{3}}}\right)\right) - \frac{b}{3} \cdot a\]

  2. Final simplification7.1

    \[\leadsto \sqrt{\frac{-4}{3} \cdot p} \cdot \cos \left(\frac{1}{3} \cdot \cos^{-1} \left(\frac{-q}{w} \cdot \sqrt{\frac{-27}{{p}^{3}}}\right)\right) - \frac{b}{3} \cdot a\]

Reproduce

herbie shell --seed 2020153 
(FPCore (p q w b a)
  :name "(- (* (sqrt (* (/ (- 4) 3) p)) (cos (* (/ 1 3) (acos (* (/ (- q) w) (sqrt (/ (- 27) (pow p 3)))))))) (* (/ b 3) a))"
  :precision binary64
  (- (* (sqrt (* (/ (neg 4.0) 3.0) p)) (cos (* (/ 1.0 3.0) (acos (* (/ (neg q) w) (sqrt (/ (neg 27.0) (pow p 3.0)))))))) (* (/ b 3.0) a)))