"but if it's dynamic, is it even valid for a compiler to transform sin(constant) into a hardcoded constant embedded into the executable?" Yes. I honestly don'

"but if it's dynamic, is it even valid for a compiler to transform sin(constant) into a hardcoded constant embedded into the executable?" Yes. I honestly don't remember all the rules here, but it does in fact do so, legally.