cos(Pi-arcsin(sqrt7/4))