Lagrange's_trigonometric_identities loading ...