For algebraic expressions you get an expression if you expand in dual numbers.

But what about something like cos(x). Either you can lazily evaluate the power series or you know its sin(x).