My friends did. I did not. They claimed it helped with altitude related symptoms (dizziness, light-headed) but it is by no means going to magically turn you into a stronger hiker at that altitude.

Also, there is no criminal liability with this, so no harm in asking and thanks for the question! It’s totally legal to have and consume the coca leaves there. It does not get you high like refined cocaine does.