mathnerd's bench log