tan(pi/4 - cos(t))