Bits error versus a
Your Program's Arguments
Results
Initial program 0.2
Time bar (total: 24.5s)Debug logProfile
herbie shell --seed '#(1072967564 1937075727 894099792 790700740 1036514779 1027793188)' +o rules:numerics (FPCore (a) :name "Fuzzer 001" (/ a (- (acos a))))