plot cos(pi/8-phi) from 0 to pi/2