solve the ivp dy/dx = 1/(sqrt(1-x^2)) with initial condition y(sqrt(3)/2)=0

y = arcsin(x) + c

0 = arcsin(√3/2) + c
0 = π/3 + c
c = -π/3

so,
y = arcsin(x) - π/3