∫[0,pi/4](sqrt(tan t))dt