cos(pi*3/8)