AutoReduceFraction seems to be working