corrections and optimizations to eta reduction