∫[0,π/4]sqrt((dx/dt)^2 +(dy/dt)^2)dx