


Bits error versus kx



Bits error versus ky



Bits error versus th
Initial program 3.9
rmApplied add-cube-cbrt4.5
Applied unpow-prod-down4.5
Applied simplify4.2
Time bar (total: 38.9s)Debug logProfile
herbie shell --seed '#(1071725047 233389029 2036512464 3988615230 2972226563 1111574017)'
(FPCore (kx ky th)
:name "Toniolo and Linder, Equation (3b), real"
(* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)))