import graph;

unitsize(3cm);

real dt = 0.04;
int n = 0;

void ship() {
	write(n);
	shipout(outprefix() + format("-%04d", n));
	++n;
}

pen fix = rgb(0.3, 0, 0.7)+linewidth(2);
pen trans = rgb(0.7, 0, 0.3)+linewidth(2);

string pilabel(real x) {
	int n = floor(2*x/pi+0.5);
	if(n % 2 == 0) {
		return "$"+(n!=2 ? format("%d", n#2) : "")+"\pi$";
	} else {
		return "$\frac{"+(n!=1 ? format("%d", n) : "")+"\pi}2$";
	}
}

xaxis(Label("$x$", EndPoint, 2*E), 0, pi/2+0.2, LeftTicks(pilabel, n=3, Step=pi/2, NoZero), EndArrow);
yaxis(Label("$y$", EndPoint, 2*N), -1.2, 1.2, LeftTicks(n=2, Step=1), EndArrow);

path cl = box(truepoint(SW), truepoint(NE));
draw(cl, invisible);

draw(graph(cos, 0, pi/2), fix);
clip(cl);