[math-fun] thousands of useless formulas (2)