∫[t=0,1](√(t^2--1/8))*dt