[SI CAD for Example 23]
(x,y)
2
[ [x^2 + y^2 - 1 = 0 /\ x y - 1/4 < 0] ].
full-cad
go
go
go
d-fpc-stat
go  
