cygwin line reading bug

beta-reduced first expression in calculations

lazy printing of calculations