What is tan(arcsin(56))?