solve (atan(6y/(9-y**2)) + acotan((9-y**2)/(6*y)) = 2*pi/3)