(1/2 *ctg(x) - x)' = 0; x is in [0.4...1]