add Spherical_trigonometry