


Bits error versus kx



Bits error versus ky



Bits error versus th
Results
Initial program 3.7
rmApplied add-cube-cbrt3.9
Final simplification3.9
Time bar (total: 2.0m)Debug logProfile
herbie shell --seed 2018214
(FPCore (kx ky th)
:name "Toniolo and Linder, Equation (3b), real"
(* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)))