For example: **ESTK Input:** ``` (a || b && c) || !d ``` Decompiler output given the above compiled input: ``` ((((a) || (b)) && (c)) || (!d)) ``` which can be simplified to: ``` ((a || b) && c) || ! d ``` --- ## Problems 1. These two expressions are **not algebraically equivalent.** 2. There are many redundant parenthesis.