[math-fun] Succinct aequatio difficulty