cos(pi/4)/(cos(3pi/20)+cos(pi/4))