Doesn't works for sin(x)

[preetishkakkar]

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

[wags-1314]

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.

[preetishkakkar]

I don't understand. What do you mean by because of default behavior herbie doesn't find rewrite?