So we can just take these values up here, throw it in here, and then solve for the unknown. So let's do that. Let's do that right over here. So we get secant squared of theta. So we get secant squared. Right now our theta is pi over 4. Secant squared of pi over 4.