How to simplify #3xx(5+7)#?