[math-fun] Half-pipes & cycloids