sin(2cos^-1(4/5))