cos(arctan(9/16))