https and modifying URI question

This may be really obvious, but I can't seem to get this to work. We have a web site for which the F5 is doing SSL. A user can browse to http://host.com or http://host.com/workspace/index.jsp, an...