sin7π 8