1template X() {
 2    signal input x;
 3    signal output y;
 4    signal x2;
 5    signal x3;
 6    var a;
 7    compute {
 8        a = (x*x*x+6)/x;
 9        y <-- a;
10    }
11
12    x2 <== x*x;
13    x3 <== x2*x;
14    x*y === x3+6;
15}
16
17component main = X();