(z (pow x...)) の評価が ((zero? y) 1) の前に起きてるのが原因なんですね
z に (pow x..) を束縛だけして評価しないみたいなことって出来るんですかね?
(define (pow2 x y)
　(if (= y 0)
　　　1
　　　(let ((z (pow2 x (quotient y 2))))
　　　　(if (= (modulo y 2) 0)
　　　　　　(* z z)
　　　　　　(* x z z)))))
みたいに if 文に分解して (= y 0) 1 を (let ((z (pow2 x ..) の前に出すしかないんでしょうか
let と cond を一緒に使うとスッキリ書けそうなのですが…