Proving some identities of Gosper on q-trigonometric functions - Mohamed El Bachraoui (2018)