use circuit_cas::var;

fn main() {
    let poly = (2 * ((var!("x", 1, 5) ^ 5) * (var!("x", 1, 2) ^ 5) * (var!("x", 2, 5) ^ 1)))
        + (3 * ((var!("x", 1, 9) ^ 5) * (var!("x", 1, 2) ^ 5) * (var!("x", 2, 5) ^ 1)));

    let x = var!("x");
    let y = var!("x\u{0304}");
    let z = var!("z");
    let other = -3 * ((&x ^ 2) * (&y ^ 4));

    let mono = (&x ^ 2) * (&y ^ 4);

    let inside = (&x ^ 2) * (&y ^ 2) * (&z ^ 1);

    if mono.contains(&inside) {
        println!("{inside}\u{2286}{mono}");
    } else {
        println!("{inside}\u{2284}{mono}");
    }

    println!("{poly}");

    let z = poly - other;
    println!("{z}");
}