Average Error: 0.3 → 0.1
Time: 30.1s
Precision: 64
Internal Precision: 384
\[\frac{\sin^{-1} \left(-v1_z\right) \cdot 180}{\pi}\]
↓
\[\frac{\sin^{-1} \left(-v1_z\right)}{\frac{\pi}{180}}\]

Error

Bits error versus v1_z

Derivation

  1. Initial program 0.3

    \[\frac{\sin^{-1} \left(-v1_z\right) \cdot 180}{\pi}\]
  2. Using strategy rm

  3. Applied associate-/l*0.1

    \[\leadsto \color{blue}{\frac{\sin^{-1} \left(-v1_z\right)}{\frac{\pi}{180}}}\]

Runtime

Time bar (total: 30.1s)Debug log

herbie shell --seed '#(2409453915 2214497205 1052836516 3747275578 1966826266 4151294858)' 
(FPCore (v1_z)
  :name "Euler angle ry"
  (/ (* (asin (- v1_z)) 180) PI))