spasmolysis: the relaxation or relief of muscle spasms
easing: the act of reducing something unpleasant (as pain or annoyance)
leg extensor: an exercise designed to strengthen the extensor muscles of the leg