product cos(k*(π/8)), k=1..8