integral of arcsin(sqrt(x^2-1)) from 1 to sqrt(5)/2