double_divide
a
double_divide
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
identity
c
multiply
ab
double_divide
double_divide
ba
identity
inverse
a
double_divide
a
identity
identity
double_divide
a
inverse
a
inverse
identity
identity
multiply
inverse
x
x
identity
multiply
x
inverse
x
identity
inverse
inverse
y
y
multiply
identity
x
x
multiply
x
identity
x
multiply
inverse
y
multiply
yx
x
inverse
multiply
xy
multiply
inverse
y
inverse
x
multiply
y
multiply
inverse
y
x
x
double_divide
xy
multiply
inverse
x
inverse
y
multiply
multiply
xy
z
multiply
x
multiply
yz
2.1
inversemultiplyxyinversexinversemultiplyxyinverseyinversemultiplyxymultiplyinverseyinversexdouble_dividexyinverseydouble_dividexyinversexdouble_dividexymultiplyinversexinverseymultiplymultiplyxyzmultiplyyzmultiplymultiplyxyzmultiplyxmultiplyyztruedouble_dividexyinversexfalse23double_dividexyinverseyfalse12inversemultiplyxyinversexinversemultiplyxyinverseytrue1inverse11inversemultiplyxymultiplyinverseyinversexfalse2double_dividexymultiplyinversexinverseyfalse1multiplymultiplyxyzmultiplyyzmultiplymultiplyxyzmultiplyxmultiplyyztruemultiply21
double_divide
a
identity
inverse
a
double_divide
a
identity
inverse
a
double_divide
a
identity
inverse
a
multiply
ab
double_divide
double_divide
ba
identity
multiply
ab
multiply
ab
double_divide
double_divide
ba
identity
double_divide
double_divide
ba
identity
inverse
double_divide
ba
multiply
ab
inverse
double_divide
ba
double_divide
a
identity
inverse
a
double_divide
double_divide
ba
identity
multiply
ab
double_divide
double_divide
ba
identity
multiply
ab
double_divide
a
inverse
a
identity
double_divide
a
inverse
a
identity
double_divide
a
inverse
a
identity
multiply
inverse
x
x
inverse
identity
multiply
inverse
x
x
inverse
double_divide
ba
multiply
ab
inverse
double_divide
x
inverse
x
1
double_divide
a
inverse
a
identity
inverse
identity
double_divide
a
double_divide
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
identity
c
double_divide
a
double_divide
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
identity
double_divide
a
double_divide
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
identity
c
c
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
c
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
2
double_divide
a
identity
inverse
a
double_divide
a
double_divide
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
identity
double_divide
a
double_divide
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
identity
c
c
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
inverse
a
double_divide
bc
b
c
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
inverse
a
double_divide
bc
b
21121
double_divide
a
identity
inverse
a
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
double_divide
a
identity
double_divide
bc
b
c
c
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
2
inverse
double_divide
ba
multiply
ab
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
inverse
a
double_divide
bc
b
double_divide
a
inverse
double_divide
double_divide
identity
double_divide
inverse
a
double_divide
bc
b
c
c
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
inverse
x
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
inverse
x
2222
double_divide
a
identity
inverse
a
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
double_divide
x
identity
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
identity
double_divide
x
multiply
inverse
x
double_divide
identity
identity
identity
double_divide
x
multiply
inverse
x
double_divide
identity
identity
222
double_divide
a
inverse
a
identity
double_divide
x
multiply
inverse
x
double_divide
identity
double_divide
inverse
x
inverse
inverse
x
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
inverse
x
identity
identity
double_divide
x
multiply
inverse
x
inverse
identity
identity
double_divide
x
multiply
inverse
x
inverse
identity
22
double_divide
a
identity
inverse
a
double_divide
x
multiply
inverse
x
double_divide
identity
identity
double_divide
x
multiply
inverse
x
double_divide
identity
identity
identity
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
multiply
inverse
x
inverse
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
2222
double_divide
x
multiply
inverse
x
inverse
identity
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
double_divide
x
multiply
inverse
x
inverse
identity
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
multiply
inverse
x
inverse
identity
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
multiply
inverse
x
inverse
identity
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
222
double_divide
a
identity
inverse
a
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
multiply
inverse
x
inverse
identity
multiply
inverse
x
inverse
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
inverse
x
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
2222
double_divide
a
inverse
a
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
double_divide
x
inverse
x
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
inverse
x
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
222
double_divide
a
identity
inverse
a
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
identity
inverse
x
inverse
x
multiply
inverse
x
inverse
identity
inverse
x
multiply
inverse
x
inverse
identity
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
multiply
inverse
x
inverse
identity
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
x
inverse
inverse
identity
inverse
identity
inverse
inverse
identity
multiply
inverse
x
inverse
identity
inverse
x
multiply
inverse
inverse
identity
inverse
identity
multiply
inverse
x
x
inverse
identity
inverse
identity
multiply
multiply
yx
double_divide
xy
inverse
identity
multiply
multiply
yx
double_divide
xy
1
inverse
double_divide
ba
multiply
ab
multiply
inverse
double_divide
xy
double_divide
xy
multiply
inverse
x
x
inverse
identity
inverse
identity
double_divide
x
inverse
identity
inverse
multiply
inverse
inverse
x
identity
double_divide
x
inverse
identity
2
multiply
multiply
yx
double_divide
xy
inverse
identity
double_divide
x
multiply
multiply
inverse
inverse
x
identity
double_divide
identity
inverse
inverse
x
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
multiply
inverse
inverse
x
identity
inverse
multiply
inverse
inverse
identity
identity
identity
inverse
multiply
inverse
inverse
identity
identity
double_divide
x
inverse
identity
inverse
multiply
inverse
inverse
x
identity
double_divide
identity
inverse
identity
double_divide
a
inverse
a
identity
identity
multiply
identity
x
inverse
inverse
x
multiply
identity
x
inverse
double_divide
ba
multiply
ab
inverse
double_divide
x
identity
1
double_divide
a
identity
inverse
a
inverse
inverse
x
double_divide
x
inverse
inverse
double_divide
identity
inverse
inverse
x
inverse
identity
double_divide
x
inverse
inverse
double_divide
identity
inverse
inverse
x
2
multiply
identity
x
inverse
inverse
x
double_divide
x
multiply
identity
double_divide
identity
inverse
inverse
x
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
identity
double_divide
x
inverse
multiply
inverse
inverse
x
identity
inverse
identity
double_divide
x
inverse
multiply
inverse
inverse
x
identity
21
inverse
double_divide
ba
multiply
ab
double_divide
x
inverse
inverse
double_divide
identity
inverse
inverse
x
double_divide
x
inverse
inverse
double_divide
identity
inverse
inverse
x
inverse
identity
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
multiply
inverse
identity
identity
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
multiply
inverse
identity
identity
2111
inverse
multiply
inverse
inverse
identity
identity
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
multiply
inverse
inverse
multiply
inverse
inverse
identity
identity
identity
double_divide
x
inverse
multiply
inverse
inverse
x
identity
inverse
identity
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
inverse
identity
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
inverse
identity
21
multiply
inverse
x
x
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
multiply
inverse
identity
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
multiply
inverse
identity
identity
inverse
identity
inverse
identity
double_divide
multiply
inverse
identity
identity
inverse
inverse
identity
inverse
identity
double_divide
multiply
inverse
identity
identity
inverse
inverse
identity
11
inverse
inverse
identity
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
inverse
identity
double_divide
multiply
inverse
inverse
identity
identity
inverse
inverse
identity
inverse
identity
inverse
identity
double_divide
inverse
identity
inverse
inverse
identity
inverse
identity
double_divide
inverse
identity
inverse
inverse
identity
1
multiply
inverse
x
x
inverse
identity
double_divide
multiply
inverse
identity
identity
inverse
inverse
identity
double_divide
multiply
inverse
identity
identity
inverse
inverse
identity
inverse
identity
inverse
identity
inverse
identity
identity
inverse
identity
double_divide
inverse
identity
inverse
inverse
identity
inverse
identity
double_divide
inverse
identity
inverse
inverse
identity
double_divide
a
inverse
a
identity
identity
multiply
inverse
x
x
identity
multiply
inverse
x
x
multiply
inverse
x
x
inverse
identity
inverse
identity
inverse
identity
identity
identity
multiply
inverse
x
identity
inverse
x
multiply
inverse
x
identity
2
inverse
identity
identity
multiply
inverse
x
inverse
identity
multiply
inverse
x
inverse
identity
inverse
x
inverse
x
multiply
multiply
yx
double_divide
xy
identity
multiply
multiply
yx
double_divide
xy
multiply
multiply
yx
double_divide
xy
inverse
identity
inverse
identity
inverse
identity
identity
identity
double_divide
x
identity
inverse
multiply
inverse
inverse
x
identity
double_divide
x
identity
2
multiply
multiply
yx
double_divide
xy
identity
double_divide
x
multiply
multiply
inverse
inverse
x
identity
double_divide
identity
inverse
inverse
x
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
multiply
inverse
inverse
x
identity
inverse
x
inverse
multiply
inverse
inverse
x
identity
inverse
x
double_divide
a
identity
inverse
a
double_divide
x
identity
double_divide
x
identity
inverse
multiply
inverse
inverse
x
identity
inverse
multiply
inverse
inverse
x
identity
inverse
inverse
inverse
x
inverse
x
inverse
inverse
inverse
x
1
multiply
inverse
x
identity
inverse
x
inverse
multiply
inverse
inverse
x
identity
inverse
x
inverse
multiply
inverse
inverse
x
identity
inverse
x
double_divide
identity
multiply
x
double_divide
identity
inverse
identity
inverse
x
double_divide
identity
multiply
x
double_divide
identity
inverse
identity
222
inverse
inverse
identity
inverse
identity
double_divide
identity
multiply
x
double_divide
identity
inverse
inverse
identity
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
x
double_divide
identity
multiply
x
identity
inverse
x
double_divide
identity
multiply
x
identity
22
double_divide
a
inverse
a
identity
double_divide
identity
multiply
x
double_divide
identity
inverse
identity
double_divide
identity
multiply
x
double_divide
identity
inverse
identity
inverse
x
inverse
x
double_divide
identity
inverse
x
inverse
inverse
x
double_divide
identity
inverse
x
2
multiply
inverse
x
identity
inverse
x
double_divide
identity
multiply
inverse
x
identity
double_divide
identity
multiply
x
identity
inverse
x
inverse
inverse
x
double_divide
identity
multiply
x
double_divide
identity
double_divide
identity
inverse
x
identity
double_divide
identity
multiply
x
double_divide
identity
double_divide
identity
inverse
x
2221
inverse
identity
identity
double_divide
identity
multiply
x
double_divide
identity
double_divide
inverse
identity
inverse
x
double_divide
a
multiply
x
double_divide
identity
double_divide
inverse
a
inverse
x
identity
identity
double_divide
identity
multiply
x
double_divide
identity
inverse
inverse
x
identity
double_divide
identity
multiply
x
double_divide
identity
inverse
inverse
x
222
double_divide
identity
inverse
x
inverse
inverse
x
double_divide
identity
multiply
x
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
multiply
x
double_divide
identity
double_divide
identity
inverse
x
identity
identity
double_divide
identity
multiply
x
inverse
inverse
inverse
x
identity
double_divide
identity
multiply
x
inverse
inverse
inverse
x
22
double_divide
identity
inverse
x
inverse
inverse
x
double_divide
identity
multiply
x
double_divide
identity
inverse
inverse
x
double_divide
identity
multiply
x
double_divide
identity
inverse
inverse
x
identity
identity
double_divide
identity
multiply
x
inverse
x
identity
double_divide
identity
multiply
x
inverse
x
22
inverse
inverse
inverse
x
inverse
x
double_divide
identity
multiply
x
inverse
inverse
inverse
x
double_divide
identity
multiply
x
inverse
inverse
inverse
x
identity
identity
double_divide
a
multiply
identity
double_divide
identity
double_divide
inverse
a
identity
multiply
x
inverse
x
double_divide
a
multiply
identity
double_divide
identity
double_divide
inverse
a
identity
2222
double_divide
identity
multiply
x
inverse
x
identity
double_divide
a
multiply
identity
double_divide
identity
double_divide
inverse
a
double_divide
identity
multiply
x
inverse
x
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
multiply
x
inverse
x
double_divide
a
inverse
inverse
double_divide
identity
double_divide
inverse
a
identity
multiply
x
inverse
x
double_divide
a
inverse
inverse
double_divide
identity
double_divide
inverse
a
identity
2
multiply
identity
x
inverse
inverse
x
double_divide
a
multiply
identity
double_divide
identity
double_divide
inverse
a
identity
double_divide
a
multiply
identity
double_divide
identity
double_divide
inverse
a
identity
multiply
x
inverse
x
multiply
x
inverse
x
double_divide
a
inverse
multiply
double_divide
inverse
a
identity
identity
multiply
x
inverse
x
double_divide
a
inverse
multiply
double_divide
inverse
a
identity
identity
21
inverse
double_divide
ba
multiply
ab
double_divide
a
inverse
inverse
double_divide
identity
double_divide
inverse
a
identity
double_divide
a
inverse
inverse
double_divide
identity
double_divide
inverse
a
identity
multiply
x
inverse
x
multiply
x
inverse
x
double_divide
a
inverse
multiply
inverse
inverse
a
identity
multiply
x
inverse
x
double_divide
a
inverse
multiply
inverse
inverse
a
identity
211
double_divide
a
identity
inverse
a
double_divide
a
inverse
multiply
double_divide
inverse
a
identity
identity
double_divide
a
inverse
multiply
double_divide
inverse
a
identity
identity
multiply
x
inverse
x
multiply
x
inverse
x
double_divide
a
inverse
inverse
inverse
a
multiply
x
inverse
x
double_divide
a
inverse
inverse
inverse
a
21
multiply
inverse
x
identity
inverse
x
double_divide
a
inverse
multiply
inverse
inverse
a
identity
double_divide
a
inverse
multiply
inverse
inverse
a
identity
multiply
x
inverse
x
multiply
x
inverse
x
double_divide
a
inverse
a
multiply
x
inverse
x
double_divide
a
inverse
a
2
inverse
inverse
inverse
x
inverse
x
double_divide
a
inverse
inverse
inverse
a
double_divide
a
inverse
inverse
inverse
a
multiply
x
inverse
x
multiply
x
inverse
x
multiply
x
inverse
x
identity
multiply
x
inverse
x
double_divide
a
inverse
a
multiply
x
inverse
x
double_divide
a
inverse
a
double_divide
a
inverse
a
identity
identity
multiply
multiply
yx
inverse
identity
inverse
double_divide
xy
multiply
multiply
yx
inverse
identity
1
inverse
double_divide
ba
multiply
ab
multiply
inverse
double_divide
xy
inverse
identity
multiply
inverse
x
inverse
identity
inverse
x
inverse
double_divide
xy
multiply
multiply
yx
inverse
identity
multiply
yx
multiply
multiply
yx
inverse
identity
multiply
multiply
yx
inverse
identity
inverse
double_divide
xy
inverse
double_divide
xy
inverse
double_divide
ba
multiply
ab
multiply
yx
multiply
multiply
yx
identity
multiply
yx
multiply
multiply
yx
identity
2
inverse
identity
identity
multiply
multiply
yx
inverse
identity
multiply
multiply
yx
inverse
identity
multiply
yx
multiply
yx
inverse
inverse
x
multiply
multiply
x
identity
identity
inverse
inverse
x
1
double_divide
identity
multiply
x
identity
inverse
x
inverse
double_divide
identity
multiply
x
identity
inverse
double_divide
ba
multiply
ab
multiply
multiply
x
identity
identity
multiply
x
identity
inverse
inverse
x
multiply
x
identity
multiply
multiply
yx
identity
multiply
yx
multiply
multiply
x
identity
identity
inverse
inverse
x
multiply
multiply
x
identity
identity
inverse
inverse
x
double_divide
a
multiply
x
inverse
inverse
inverse
a
inverse
x
double_divide
a
multiply
x
inverse
inverse
inverse
a
22
double_divide
identity
inverse
x
inverse
inverse
x
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
x
double_divide
a
multiply
x
inverse
a
inverse
x
double_divide
a
multiply
x
inverse
a
22
inverse
inverse
inverse
x
inverse
x
double_divide
a
multiply
x
inverse
inverse
inverse
a
double_divide
a
multiply
x
inverse
inverse
inverse
a
inverse
x
inverse
x
double_divide
x
inverse
inverse
double_divide
identity
double_divide
inverse
x
double_divide
identity
y
y
double_divide
x
inverse
inverse
double_divide
identity
double_divide
inverse
x
double_divide
identity
y
2
multiply
identity
x
inverse
inverse
x
double_divide
x
multiply
identity
double_divide
identity
double_divide
inverse
x
double_divide
identity
y
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
y
double_divide
x
inverse
multiply
double_divide
inverse
x
double_divide
identity
y
identity
y
double_divide
x
inverse
multiply
double_divide
inverse
x
double_divide
identity
y
identity
21
inverse
double_divide
ba
multiply
ab
double_divide
x
inverse
inverse
double_divide
identity
double_divide
inverse
x
double_divide
identity
y
double_divide
x
inverse
inverse
double_divide
identity
double_divide
inverse
x
double_divide
identity
y
y
y
double_divide
x
inverse
inverse
inverse
double_divide
inverse
x
double_divide
identity
y
y
double_divide
x
inverse
inverse
inverse
double_divide
inverse
x
double_divide
identity
y
21
multiply
x
identity
inverse
inverse
x
double_divide
x
inverse
multiply
double_divide
inverse
x
double_divide
identity
y
identity
double_divide
x
inverse
multiply
double_divide
inverse
x
double_divide
identity
y
identity
y
y
double_divide
x
inverse
double_divide
inverse
x
double_divide
identity
y
y
double_divide
x
inverse
double_divide
inverse
x
double_divide
identity
y
2
inverse
inverse
inverse
x
inverse
x
double_divide
x
inverse
inverse
inverse
double_divide
inverse
x
double_divide
identity
y
double_divide
x
inverse
inverse
inverse
double_divide
inverse
x
double_divide
identity
y
y
y
double_divide
x
multiply
double_divide
identity
y
inverse
x
y
double_divide
x
multiply
double_divide
identity
y
inverse
x
2
inverse
double_divide
ba
multiply
ab
double_divide
x
inverse
double_divide
inverse
x
double_divide
identity
y
double_divide
x
inverse
double_divide
inverse
x
double_divide
identity
y
y
y
inverse
double_divide
identity
y
y
inverse
double_divide
identity
y
double_divide
a
multiply
x
inverse
a
inverse
x
double_divide
x
multiply
double_divide
identity
y
inverse
x
double_divide
x
multiply
double_divide
identity
y
inverse
x
y
y
multiply
y
identity
y
multiply
y
identity
inverse
double_divide
ba
multiply
ab
inverse
double_divide
identity
y
inverse
double_divide
identity
y
y
y
inverse
inverse
y
y
inverse
inverse
y
multiply
x
identity
inverse
inverse
x
multiply
y
identity
multiply
y
identity
y
y
multiply
identity
x
x
multiply
identity
x
multiply
identity
x
inverse
inverse
x
inverse
inverse
x
inverse
inverse
y
y
x
multiply
x
identity
x
multiply
x
identity
multiply
x
identity
inverse
inverse
x
inverse
inverse
x
inverse
inverse
y
y
x
double_divide
xy
inverse
multiply
yx
double_divide
xy
inverse
inverse
y
y
inverse
inverse
double_divide
xy
1
inverse
double_divide
ba
multiply
ab
inverse
multiply
yx
double_divide
inverse
x
x
identity
double_divide
inverse
x
x
2
inverse
inverse
y
y
double_divide
inverse
x
inverse
inverse
x
double_divide
a
inverse
a
identity
identity
double_divide
double_divide
xy
multiply
x
double_divide
identity
identity
y
double_divide
double_divide
xy
multiply
x
double_divide
identity
identity
222
double_divide
inverse
x
x
identity
double_divide
double_divide
xy
multiply
x
double_divide
identity
double_divide
inverse
double_divide
xy
double_divide
xy
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
y
double_divide
double_divide
xy
multiply
x
inverse
identity
y
double_divide
double_divide
xy
multiply
x
inverse
identity
22
double_divide
a
identity
inverse
a
double_divide
double_divide
xy
multiply
x
double_divide
identity
identity
double_divide
double_divide
xy
multiply
x
double_divide
identity
identity
y
y
double_divide
double_divide
xy
multiply
x
identity
y
double_divide
double_divide
xy
multiply
x
identity
22
inverse
identity
identity
double_divide
double_divide
xy
multiply
x
inverse
identity
double_divide
double_divide
xy
multiply
x
inverse
identity
y
y
double_divide
double_divide
xy
x
y
double_divide
double_divide
xy
x
2
multiply
x
identity
x
double_divide
double_divide
xy
multiply
x
identity
double_divide
double_divide
xy
multiply
x
identity
y
y
inverse
y
multiply
x
double_divide
xy
inverse
y
1
double_divide
double_divide
xy
x
y
inverse
double_divide
double_divide
xy
x
inverse
double_divide
ba
multiply
ab
multiply
x
double_divide
xy
multiply
x
inverse
multiply
yx
inverse
y
multiply
x
inverse
multiply
yx
2
double_divide
xy
inverse
multiply
yx
multiply
x
double_divide
xy
inverse
y
multiply
x
double_divide
xy
inverse
y
inverse
inverse
y
multiply
multiply
y
double_divide
identity
inverse
inverse
x
x
inverse
inverse
y
1
double_divide
a
multiply
x
double_divide
identity
inverse
inverse
a
inverse
x
inverse
double_divide
x
multiply
y
double_divide
identity
inverse
inverse
x
inverse
double_divide
ba
multiply
ab
multiply
multiply
y
double_divide
identity
inverse
inverse
x
x
inverse
inverse
y
multiply
multiply
y
inverse
inverse
inverse
x
x
inverse
inverse
y
inverse
inverse
y
multiply
multiply
y
double_divide
identity
inverse
inverse
x
x
multiply
multiply
y
double_divide
identity
inverse
inverse
x
x
12
double_divide
identity
inverse
x
inverse
inverse
x
multiply
multiply
y
inverse
inverse
inverse
x
x
inverse
inverse
y
multiply
multiply
y
inverse
x
x
inverse
inverse
y
inverse
inverse
y
multiply
multiply
y
inverse
inverse
inverse
x
x
multiply
multiply
y
inverse
inverse
inverse
x
x
12
inverse
inverse
inverse
x
inverse
x
multiply
multiply
y
inverse
x
x
multiply
multiply
y
inverse
x
x
y
multiply
multiply
y
inverse
x
x
inverse
inverse
y
multiply
multiply
y
inverse
x
x
inverse
inverse
y
inverse
inverse
y
y
y
multiply
inverse
y
multiply
yx
x
multiply
inverse
y
multiply
yx
1
multiply
x
inverse
multiply
yx
inverse
y
multiply
multiply
x
inverse
multiply
yx
multiply
yx
multiply
multiply
y
inverse
x
x
y
x
multiply
multiply
yx
inverse
x
y
multiply
multiply
yx
inverse
x
12
inverse
inverse
y
y
multiply
multiply
y
inverse
inverse
x
inverse
x
multiply
multiply
y
inverse
x
x
y
y
inverse
multiply
xy
multiply
inverse
y
inverse
x
inverse
multiply
xy
multiply
x
inverse
multiply
yx
inverse
y
multiply
inverse
y
inverse
multiply
multiply
xy
inverse
y
21
multiply
multiply
yx
inverse
x
y
multiply
inverse
y
inverse
x
multiply
y
multiply
inverse
y
x
x
multiply
y
multiply
inverse
y
x
1
inverse
inverse
y
y
multiply
inverse
inverse
y
multiply
inverse
y
x
multiply
inverse
y
multiply
yx
x
x
double_divide
xy
multiply
inverse
x
inverse
y
double_divide
xy
double_divide
xy
inverse
multiply
yx
inverse
multiply
yx
inverse
multiply
xy
multiply
inverse
y
inverse
x
multiply
inverse
x
inverse
y
double_divide
inverse
y
x
multiply
y
inverse
x
double_divide
inverse
y
x
1
double_divide
a
multiply
x
inverse
a
inverse
x
double_divide
double_divide
x
multiply
y
inverse
x
x
double_divide
double_divide
xy
x
y
multiply
y
inverse
x
inverse
multiply
x
inverse
y
multiply
y
inverse
x
inverse
multiply
x
inverse
y
double_divide
xy
inverse
multiply
yx
double_divide
inverse
y
x
double_divide
inverse
y
x
multiply
y
inverse
x
multiply
y
inverse
x
double_divide
identity
inverse
x
x
double_divide
identity
inverse
x
double_divide
identity
inverse
x
inverse
inverse
x
inverse
inverse
x
inverse
inverse
y
y
x
double_divide
identity
x
inverse
x
double_divide
identity
x
2
inverse
inverse
y
y
double_divide
identity
inverse
inverse
x
double_divide
identity
inverse
x
x
inverse
x
double_divide
inverse
x
multiply
b
double_divide
identity
double_divide
x
double_divide
bc
c
double_divide
inverse
x
multiply
b
double_divide
identity
double_divide
x
double_divide
bc
2221
inverse
inverse
y
y
double_divide
inverse
x
multiply
b
double_divide
identity
double_divide
inverse
inverse
x
double_divide
bc
double_divide
a
multiply
b
double_divide
identity
double_divide
inverse
a
double_divide
bc
c
c
double_divide
inverse
x
multiply
b
inverse
double_divide
x
double_divide
bc
c
double_divide
inverse
x
multiply
b
inverse
double_divide
x
double_divide
bc
22
double_divide
identity
x
inverse
x
double_divide
inverse
x
multiply
b
double_divide
identity
double_divide
x
double_divide
bc
double_divide
inverse
x
multiply
b
double_divide
identity
double_divide
x
double_divide
bc
c
c
double_divide
inverse
x
multiply
b
multiply
double_divide
bc
x
c
double_divide
inverse
x
multiply
b
multiply
double_divide
bc
x
22
inverse
double_divide
ba
multiply
ab
double_divide
inverse
x
multiply
b
inverse
double_divide
x
double_divide
bc
double_divide
inverse
x
multiply
b
inverse
double_divide
x
double_divide
bc
c
c
inverse
multiply
multiply
b
multiply
double_divide
bc
x
inverse
x
c
inverse
multiply
multiply
b
multiply
double_divide
bc
x
inverse
x
double_divide
xy
inverse
multiply
yx
double_divide
inverse
x
multiply
b
multiply
double_divide
bc
x
double_divide
inverse
x
multiply
b
multiply
double_divide
bc
x
c
c
inverse
multiply
multiply
b
multiply
inverse
multiply
cb
x
inverse
x
c
inverse
multiply
multiply
b
multiply
inverse
multiply
cb
x
inverse
x
1121
double_divide
xy
inverse
multiply
yx
inverse
multiply
multiply
b
multiply
double_divide
bc
x
inverse
x
inverse
multiply
multiply
b
multiply
double_divide
bc
x
inverse
x
c
c
multiply
x
inverse
multiply
b
multiply
inverse
multiply
cb
x
c
multiply
x
inverse
multiply
b
multiply
inverse
multiply
cb
x
inverse
multiply
x
inverse
y
multiply
y
inverse
x
inverse
multiply
multiply
b
multiply
inverse
multiply
cb
x
inverse
x
inverse
multiply
multiply
b
multiply
inverse
multiply
cb
x
inverse
x
c
c
multiply
x
multiply
inverse
multiply
inverse
multiply
cb
x
inverse
b
c
multiply
x
multiply
inverse
multiply
inverse
multiply
cb
x
inverse
b
2
inverse
multiply
xy
multiply
inverse
y
inverse
x
multiply
x
inverse
multiply
b
multiply
inverse
multiply
cb
x
multiply
x
inverse
multiply
b
multiply
inverse
multiply
cb
x
c
c
multiply
x
multiply
multiply
inverse
x
inverse
inverse
multiply
cb
inverse
b
c
multiply
x
multiply
multiply
inverse
x
inverse
inverse
multiply
cb
inverse
b
21
inverse
multiply
xy
multiply
inverse
y
inverse
x
multiply
x
multiply
inverse
multiply
inverse
multiply
cb
x
inverse
b
multiply
x
multiply
inverse
multiply
inverse
multiply
cb
x
inverse
b
c
c
multiply
x
multiply
multiply
inverse
x
multiply
cb
inverse
b
c
multiply
x
multiply
multiply
inverse
x
multiply
cb
inverse
b
212
inverse
inverse
y
y
multiply
x
multiply
multiply
inverse
x
inverse
inverse
multiply
cb
inverse
b
multiply
x
multiply
multiply
inverse
x
inverse
inverse
multiply
cb
inverse
b
c
c
multiply
x
multiply
multiply
inverse
x
y
inverse
inverse
z
multiply
yz
multiply
x
multiply
multiply
inverse
x
y
inverse
inverse
z
212
multiply
multiply
yx
inverse
x
y
multiply
x
multiply
multiply
inverse
x
multiply
multiply
yz
inverse
z
inverse
inverse
z
multiply
x
multiply
multiply
inverse
x
multiply
cb
inverse
b
c
multiply
yz
multiply
x
multiply
multiply
inverse
x
y
z
multiply
yz
multiply
x
multiply
multiply
inverse
x
y
z
22
inverse
inverse
y
y
multiply
x
multiply
multiply
inverse
x
y
inverse
inverse
z
multiply
x
multiply
multiply
inverse
x
y
inverse
inverse
z
multiply
yz
multiply
yz
multiply
multiply
xy
z
multiply
x
multiply
yz
multiply
multiply
xy
z
multiply
x
multiply
multiply
inverse
x
y
z
multiply
yz
multiply
x
multiply
multiply
inverse
x
multiply
xy
z
21
multiply
inverse
y
multiply
yx
x
multiply
x
multiply
yz
kbcv2.0.0.0