Average Error: 3.8 → 3.8
Time: 30.0s
Precision: 64
Ground Truth: 128
\[\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}} \cdot \sin th\]
⬇
\[\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}} \cdot \sin th\]

Error

Bits error versus kx

Bits error versus ky

Bits error versus th

Derivation

  1. Initial program 3.8

    \[\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}} \cdot \sin th\]
  2. Removed slow pow expressions

Runtime

Total time: 30.0s Debug log

Please include this information when filing a bug report:

herbie --seed '#(4293207262 2389848064 4289651707 2642391042 1373615181 3293430589)'
(FPCore (kx ky th)
  :name "Toniolo and Linder, Equation (3b), real"
  (* (/ (sin ky) (sqrt (+ (sqr (sin kx)) (sqr (sin ky))))) (sin th)))