herbie
herbie copied to clipboard
Doesn't works for sin(x)
sin(x) should be ~ x for small values of x, but it seems like it doesn't work, can you please help me understand.
https://herbie.uwplse.org/demo/bb8aaeebcc7ce514f73105a07cbb932fc62b16fa.10eb16397304ba9e003d59ffd34803200ce7cfa6/graph.html
You are right, sin(x) is equal to x for small values of x, and this is how sin(x) behaves in most math libraries too. That's why I think, as this is the default behavior of the sin function herbie does not find any rewrites.
I don't understand. What do you mean by because of default behavior herbie doesn't find rewrite?
This was fixed (just confirmed), I believe in #746.