bash3 [[
real 0m1.758s
user 0m1.562s
sys 0m0.160s

bash3 case
real 0m1.515s
user 0m1.341s
sys 0m0.150s

確かに少しだけど、case の方が速いね