int arccot(1-x-x^2) from 0 to pi/2