integral (from 0 to (1/2)) cos(1-cos(1-cos(x))) dx =