4arccos(1-2x) derivative at x=0.5