\[\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}} \cdot \sin th\]

⬇

\[\sin ky \cdot \frac{\sin th}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}}\]

Error

The X axis uses an exponential scale — Bits error versus `kx`

Derivation

Initial program 4.1
\[\frac{\sin ky}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}} \cdot \sin th\]
Using strategy rm
Applied div-inv 4.2
\[\leadsto \color{blue}{\left(\sin ky \cdot \frac{1}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}}\right)} \cdot \sin th\]
Applied associate-*l* 4.3
\[\leadsto \color{blue}{\sin ky \cdot \left(\frac{1}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}} \cdot \sin th\right)}\]
Applied simplify 4.2
\[\leadsto \sin ky \cdot \color{blue}{\frac{\sin th}{\sqrt{{\left(\sin kx\right)}^2 + {\left(\sin ky\right)}^2}}}\]
Removed slow pow expressions

Runtime

Please include this information when filing a bug report:

herbie --seed '#(97579143 897832747 1626270669 211702402 3220462528 3381748550)'
(FPCore (kx ky th)
  :name "Toniolo and Linder, Equation (3b), real"
  (* (/ (sin ky) (sqrt (+ (sqr (sin kx)) (sqr (sin ky))))) (sin th)))