Average Error: 0.1 → 0.1
Time: 55.2s
Precision: 64
Internal Precision: 384
\[\frac{\tan^{-1}_* \frac{v1_y}{v1_x} \cdot 180}{\pi}\]
↓
\[\frac{\tan^{-1}_* \frac{v1_y}{v1_x}}{\frac{\pi}{180}}\]

Error

Bits error versus v1_y

Bits error versus v1_x

Derivation

  1. Initial program 0.1

    \[\frac{\tan^{-1}_* \frac{v1_y}{v1_x} \cdot 180}{\pi}\]
  2. Using strategy rm

  3. Applied associate-/l*0.1

    \[\leadsto \color{blue}{\frac{\tan^{-1}_* \frac{v1_y}{v1_x}}{\frac{\pi}{180}}}\]

Runtime

Time bar (total: 55.2s)Debug log

herbie shell --seed '#(2409453915 2214497205 1052836516 3747275578 1966826266 4151294858)' 
(FPCore (v1_y v1_x)
  :name "Euler angle rz when abs(ry) is not 90"
  (/ (* (atan2 v1_y v1_x) 180) PI))