問題なのは、絶対値をネストする場合だ。
|x+|y||とかならまだいいけど、|||x+1|+x|+||x|+1||なんて式が出たらどうしよう？
(ちなみに積の場合は特別心配する必要は無い。)