sin(5pi/8)+cos(5pi/8)