Pythagorean_trigonometric_identity loading ...