Curious on trigonometry?

No, it is not. You have to take the sin^(-1) (read "sine inverse") of 4/5 to get the original angle "x" (which is about 53.13 degrees). In order to get the original angle, you have to take the respective inverse functions of each sin, cos, and tan.