cos(cosx)dx