https://tobyqin.cn/posts/2022-09-03/simplify/