Y log cotx