sum of ((log tanx)/(log cos x)) (1