Average Error: 0.0 → 0.0
Time: 22.3s
Precision: 64
Internal Precision: 384
\[180 - \frac{\cos^{-1} v2_y \cdot 180}{\pi}\]
↓
\[180 - \frac{\cos^{-1} v2_y \cdot 180}{\pi}\]

Error

Bits error versus v2_y

Derivation

  1. Initial program 0.0

    \[180 - \frac{\cos^{-1} v2_y \cdot 180}{\pi}\]

Runtime

Time bar (total: 22.3s)Debug log

herbie shell --seed '#(2409453915 2214497205 1052836516 3747275578 1966826266 4151294858)' 
(FPCore (v2_y)
  :name "Euler angle rx when abs(ry) is 90"
  (- 180 (/ (* (acos v2_y) 180) PI)))