RE: [math-fun] the heck with it, simplification challenge