And so if you have one, so let's see. Well, actually, let me just rewrite it. So this is going to be equal to one plus square root of two times that is going to be negative two over two. So this is going to be minus one. That's the numerator over here. All of this stuff simplifies to negative one over, this is going to be cosine of negative pi over two. All right, this is negative pi over two.