I implemented a type for defining arbitrary lazy sequences that performs well, but the implementation is so trivial that I'm not sure if it's worth making a package

Package Announcements
20

To get around the automatic optimization, why not simply sum a series of trigonometric functions?