I really do want to use evalhf, because we're going to use (a more complicated example than) this to create a sound file using AudioTools, and evalf is too slow.  But I do need it to be not-too-complicated, because this is intended to be part of a lab for my calculus students.