(- (+ 3 (* 8 5)) 1)