New to Sophia?
The use of double angle identities is demonstrated here.
Source: Video created by RobertOB