(__sub (7 + (__div (__mul (__sub 0 5) 12) 3)) 1)