


Bits error versus K



Bits error versus m



Bits error versus n



Bits error versus M



Bits error versus l
Results
Initial program 15.0
Taylor expanded around 0 1.4
Applied simplify1.4
Time bar (total: 1.3m)Debug logProfile
herbie shell --seed '#(1072936661 1621281212 3440817831 3219514234 460296804 1258167384)'
(FPCore (K m n M l)
:name "Maksimov and Kolovsky, Equation (32)"
(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))