Add doc about unsimplified expressions