Added simplification for sqrt. Updated README.txt with examples.