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