7+3^(2^1+2^2) mod 2^5