double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
double_divide
identity
identity
double_divide
ac
b
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
identity
x
inverse
inverse
x
x
multiply
x
inverse
x
identity
multiply
inverse
c
multiply
cb
b
multiply
identity
x
x
multiply
x
multiply
inverse
x
b
b
inverse
multiply
xy
multiply
inverse
y
inverse
x
double_divide
xy
multiply
inverse
x
inverse
y
multiply
multiply
yx
z
multiply
y
multiply
xz
2.1
inversemultiplyxyinversexinversemultiplyxyinverseyinversemultiplyxymultiplyinverseyinversexdouble_dividexyinverseydouble_dividexyinversexdouble_dividexymultiplyinversexinverseymultiplymultiplyyxzmultiplyxzmultiplymultiplyyxzmultiplyymultiplyxztruedouble_dividexyinversexfalse23double_dividexyinverseyfalse12inversemultiplyxyinversexinversemultiplyxyinverseytrue1inverse11inversemultiplyxymultiplyinverseyinversexfalse2double_dividexymultiplyinversexinverseyfalse1multiplymultiplyyxzmultiplyxzmultiplymultiplyyxzmultiplyymultiplyxztruemultiply21
double_divide
a
inverse
a
identity
double_divide
a
inverse
a
identity
double_divide
a
inverse
a
identity
double_divide
a
identity
inverse
a
double_divide
a
identity
inverse
a
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
double_divide
identity
identity
double_divide
ac
b
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
double_divide
identity
identity
double_divide
ac
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
double_divide
identity
identity
double_divide
ac
b
b
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
ac
b
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
ac
212
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
double_divide
identity
identity
double_divide
ac
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
double_divide
identity
identity
double_divide
ac
b
b
double_divide
double_divide
identity
a
double_divide
double_divide
identity
inverse
identity
double_divide
a
inverse
x
x
double_divide
double_divide
identity
a
double_divide
double_divide
identity
inverse
identity
double_divide
a
inverse
x
211
double_divide
a
inverse
a
identity
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
x
inverse
x
inverse
identity
double_divide
a
inverse
x
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
ac
b
x
double_divide
double_divide
identity
a
double_divide
identity
double_divide
a
inverse
x
x
double_divide
double_divide
identity
a
double_divide
identity
double_divide
a
inverse
x
21
double_divide
a
inverse
a
identity
double_divide
double_divide
identity
a
double_divide
double_divide
identity
inverse
identity
double_divide
a
inverse
x
double_divide
double_divide
identity
a
double_divide
double_divide
identity
inverse
identity
double_divide
a
inverse
x
x
x
double_divide
double_divide
identity
x
double_divide
identity
identity
x
double_divide
double_divide
identity
x
double_divide
identity
identity
22
double_divide
a
inverse
a
identity
double_divide
double_divide
identity
x
double_divide
identity
double_divide
x
inverse
x
double_divide
double_divide
identity
a
double_divide
identity
double_divide
a
inverse
x
x
x
double_divide
double_divide
identity
x
inverse
identity
x
double_divide
double_divide
identity
x
inverse
identity
2
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
x
double_divide
identity
identity
double_divide
double_divide
identity
x
double_divide
identity
identity
x
x
double_divide
identity
inverse
identity
inverse
identity
double_divide
identity
inverse
identity
1
double_divide
a
inverse
a
identity
double_divide
double_divide
identity
inverse
identity
inverse
identity
double_divide
double_divide
identity
x
inverse
identity
x
inverse
identity
inverse
identity
identity
inverse
identity
double_divide
identity
inverse
identity
inverse
identity
double_divide
identity
inverse
identity
double_divide
a
inverse
a
identity
identity
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
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
multiply
inverse
x
x
identity
multiply
inverse
x
x
multiply
inverse
x
x
inverse
identity
inverse
identity
inverse
identity
identity
identity
double_divide
double_divide
identity
x
identity
x
double_divide
double_divide
identity
x
identity
2
inverse
identity
identity
double_divide
double_divide
identity
x
inverse
identity
double_divide
double_divide
identity
x
inverse
identity
x
x
inverse
double_divide
identity
x
x
inverse
double_divide
identity
x
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
x
identity
double_divide
double_divide
identity
x
identity
x
x
multiply
x
identity
x
multiply
x
identity
inverse
double_divide
ba
multiply
ab
inverse
double_divide
identity
x
inverse
double_divide
identity
x
x
x
double_divide
double_divide
xy
multiply
yx
identity
double_divide
double_divide
xy
multiply
yx
2
inverse
double_divide
ba
multiply
ab
double_divide
double_divide
xy
inverse
double_divide
xy
double_divide
a
inverse
a
identity
identity
double_divide
double_divide
identity
x
x
identity
double_divide
double_divide
identity
x
x
2
multiply
x
identity
x
double_divide
double_divide
identity
x
multiply
x
identity
double_divide
double_divide
xy
multiply
yx
identity
identity
double_divide
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
identity
x
double_divide
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
identity
22
double_divide
double_divide
identity
x
x
identity
double_divide
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
double_divide
double_divide
identity
inverse
x
inverse
x
double_divide
double_divide
identity
a
double_divide
identity
double_divide
a
inverse
x
x
x
double_divide
double_divide
identity
double_divide
identity
inverse
x
inverse
identity
x
double_divide
double_divide
identity
double_divide
identity
inverse
x
inverse
identity
2
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
identity
double_divide
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
identity
x
x
double_divide
double_divide
identity
double_divide
identity
inverse
x
identity
x
double_divide
double_divide
identity
double_divide
identity
inverse
x
identity
2
inverse
identity
identity
double_divide
double_divide
identity
double_divide
identity
inverse
x
inverse
identity
double_divide
double_divide
identity
double_divide
identity
inverse
x
inverse
identity
x
x
inverse
double_divide
identity
double_divide
identity
inverse
x
x
inverse
double_divide
identity
double_divide
identity
inverse
x
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
double_divide
identity
inverse
x
identity
double_divide
double_divide
identity
double_divide
identity
inverse
x
identity
x
x
multiply
double_divide
identity
inverse
x
identity
x
multiply
double_divide
identity
inverse
x
identity
inverse
double_divide
ba
multiply
ab
inverse
double_divide
identity
double_divide
identity
inverse
x
inverse
double_divide
identity
double_divide
identity
inverse
x
x
x
double_divide
identity
inverse
x
x
double_divide
identity
inverse
x
multiply
x
identity
x
multiply
double_divide
identity
inverse
x
identity
multiply
double_divide
identity
inverse
x
identity
x
x
double_divide
inverse
identity
double_divide
identity
double_divide
identity
inverse
x
x
double_divide
inverse
identity
double_divide
identity
double_divide
identity
inverse
x
1
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
identity
double_divide
identity
double_divide
identity
inverse
x
double_divide
double_divide
identity
a
double_divide
identity
double_divide
a
inverse
x
x
x
double_divide
identity
double_divide
identity
double_divide
identity
inverse
x
x
double_divide
identity
double_divide
identity
double_divide
identity
inverse
x
1
inverse
identity
identity
double_divide
inverse
identity
double_divide
identity
double_divide
identity
inverse
x
double_divide
inverse
identity
double_divide
identity
double_divide
identity
inverse
x
x
x
double_divide
identity
double_divide
identity
x
x
double_divide
identity
double_divide
identity
x
22
double_divide
identity
inverse
x
x
double_divide
identity
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
double_divide
identity
double_divide
identity
inverse
x
x
x
double_divide
identity
x
inverse
x
double_divide
identity
x
2
double_divide
identity
inverse
x
x
double_divide
identity
double_divide
identity
inverse
x
double_divide
identity
double_divide
identity
x
x
inverse
x
inverse
inverse
x
x
inverse
inverse
x
double_divide
identity
x
inverse
x
double_divide
identity
inverse
x
double_divide
identity
inverse
x
x
x
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
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
multiply
x
double_divide
identity
x
identity
multiply
x
double_divide
identity
x
1
multiply
x
identity
x
multiply
multiply
x
identity
double_divide
identity
x
multiply
multiply
yx
double_divide
xy
identity
identity
multiply
x
inverse
x
identity
multiply
x
inverse
x
2
double_divide
identity
x
inverse
x
multiply
x
double_divide
identity
x
multiply
x
double_divide
identity
x
identity
identity
double_divide
identity
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
inverse
identity
c
b
double_divide
identity
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
inverse
identity
c
1
double_divide
a
inverse
a
identity
double_divide
double_divide
identity
inverse
identity
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
inverse
identity
c
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
ac
b
b
double_divide
identity
double_divide
double_divide
double_divide
bc
identity
double_divide
inverse
identity
c
b
double_divide
identity
double_divide
double_divide
double_divide
bc
identity
double_divide
inverse
identity
c
212
inverse
identity
identity
double_divide
identity
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
inverse
identity
c
double_divide
identity
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
inverse
identity
c
b
b
double_divide
identity
double_divide
inverse
double_divide
bc
double_divide
inverse
identity
c
b
double_divide
identity
double_divide
inverse
double_divide
bc
double_divide
inverse
identity
c
21
double_divide
a
identity
inverse
a
double_divide
identity
double_divide
double_divide
double_divide
bc
identity
double_divide
inverse
identity
c
double_divide
identity
double_divide
double_divide
double_divide
bc
identity
double_divide
inverse
identity
c
b
b
double_divide
identity
double_divide
multiply
cb
double_divide
inverse
identity
c
b
double_divide
identity
double_divide
multiply
cb
double_divide
inverse
identity
c
21
inverse
double_divide
ba
multiply
ab
double_divide
identity
double_divide
inverse
double_divide
bc
double_divide
inverse
identity
c
double_divide
identity
double_divide
inverse
double_divide
bc
double_divide
inverse
identity
c
b
b
double_divide
identity
double_divide
multiply
cb
double_divide
identity
c
b
double_divide
identity
double_divide
multiply
cb
double_divide
identity
c
221
inverse
identity
identity
double_divide
identity
double_divide
multiply
cb
double_divide
inverse
identity
c
double_divide
identity
double_divide
multiply
cb
double_divide
inverse
identity
c
b
b
inverse
double_divide
multiply
cb
double_divide
identity
c
b
inverse
double_divide
multiply
cb
double_divide
identity
c
double_divide
identity
x
inverse
x
double_divide
identity
double_divide
multiply
cb
double_divide
identity
c
double_divide
identity
double_divide
multiply
cb
double_divide
identity
c
b
b
multiply
double_divide
identity
c
multiply
cb
b
multiply
double_divide
identity
c
multiply
cb
inverse
double_divide
ba
multiply
ab
inverse
double_divide
multiply
cb
double_divide
identity
c
inverse
double_divide
multiply
cb
double_divide
identity
c
b
b
multiply
inverse
c
multiply
cb
b
multiply
inverse
c
multiply
cb
1
double_divide
identity
x
inverse
x
multiply
double_divide
identity
c
multiply
cb
multiply
double_divide
identity
c
multiply
cb
b
b
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
multiply
identity
x
x
multiply
identity
x
multiply
identity
x
inverse
inverse
x
inverse
inverse
x
inverse
inverse
x
x
x
multiply
x
multiply
inverse
x
b
b
multiply
x
multiply
inverse
x
b
1
inverse
inverse
x
x
multiply
inverse
inverse
x
multiply
inverse
x
b
multiply
inverse
c
multiply
cb
b
b
double_divide
identity
multiply
yx
double_divide
xy
double_divide
identity
multiply
yx
2
inverse
double_divide
ba
multiply
ab
double_divide
identity
inverse
double_divide
xy
double_divide
identity
inverse
x
x
double_divide
xy
double_divide
xy
inverse
multiply
yx
double_divide
xy
double_divide
identity
multiply
yx
double_divide
xy
double_divide
identity
multiply
yx
double_divide
identity
x
inverse
x
inverse
multiply
yx
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
inverse
identity
inverse
identity
x
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
inverse
identity
inverse
identity
x
22
double_divide
double_divide
identity
x
inverse
identity
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
inverse
identity
inverse
identity
double_divide
double_divide
identity
x
inverse
identity
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
ac
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
identity
inverse
identity
x
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
identity
inverse
identity
x
2112
inverse
identity
identity
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
inverse
identity
inverse
identity
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
inverse
identity
inverse
identity
x
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
inverse
identity
x
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
inverse
identity
x
211
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
identity
inverse
identity
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
identity
inverse
identity
x
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
identity
x
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
identity
x
212
inverse
identity
identity
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
inverse
identity
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
inverse
identity
x
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
inverse
b
x
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
inverse
b
x
21
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
identity
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
inverse
b
identity
x
b
b
double_divide
x
double_divide
inverse
inverse
b
x
b
double_divide
x
double_divide
inverse
inverse
b
x
1
double_divide
identity
double_divide
identity
x
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
inverse
b
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
inverse
b
x
b
b
double_divide
x
double_divide
bx
b
double_divide
x
double_divide
bx
21
inverse
inverse
x
x
double_divide
x
double_divide
inverse
inverse
b
x
double_divide
x
double_divide
inverse
inverse
b
x
b
b
inverse
y
multiply
double_divide
yx
x
inverse
y
1
double_divide
x
double_divide
bx
b
inverse
double_divide
x
double_divide
yx
inverse
double_divide
ba
multiply
ab
multiply
double_divide
yx
x
multiply
inverse
multiply
xy
x
inverse
y
multiply
inverse
multiply
xy
x
1
double_divide
xy
inverse
multiply
yx
multiply
double_divide
yx
x
inverse
y
multiply
double_divide
yx
x
inverse
y
inverse
multiply
xy
multiply
inverse
y
inverse
x
inverse
multiply
xy
multiply
inverse
multiply
xy
x
inverse
y
multiply
inverse
multiply
inverse
x
multiply
xy
inverse
x
11
multiply
inverse
c
multiply
cb
b
multiply
inverse
y
inverse
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
inverse
multiply
double_divide
bx
x
b
inverse
multiply
double_divide
bx
x
double_divide
xy
inverse
multiply
yx
double_divide
x
double_divide
bx
double_divide
x
double_divide
bx
b
b
inverse
multiply
inverse
multiply
xb
x
b
inverse
multiply
inverse
multiply
xb
x
11
double_divide
xy
inverse
multiply
yx
inverse
multiply
double_divide
bx
x
inverse
multiply
double_divide
bx
x
b
b
inverse
multiply
inverse
y
inverse
x
multiply
xy
inverse
multiply
inverse
y
inverse
x
111
multiply
inverse
c
multiply
cb
b
inverse
multiply
inverse
multiply
inverse
x
multiply
xy
inverse
x
inverse
multiply
inverse
multiply
xb
x
b
multiply
xy
multiply
multiply
inverse
x
inverse
y
multiply
multiply
yx
b
b
multiply
multiply
inverse
x
inverse
y
multiply
multiply
yx
b
21
inverse
multiply
inverse
y
inverse
x
multiply
xy
multiply
multiply
inverse
x
inverse
y
multiply
inverse
multiply
inverse
x
inverse
y
b
multiply
x
multiply
inverse
x
b
b
b
inverse
multiply
inverse
y
x
multiply
inverse
x
y
inverse
multiply
inverse
y
x
111
multiply
x
multiply
inverse
x
b
b
inverse
multiply
inverse
multiply
x
multiply
inverse
x
y
x
inverse
multiply
inverse
multiply
xb
x
b
multiply
inverse
x
y
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
inverse
identity
y
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
inverse
identity
y
22
double_divide
double_divide
identity
a
double_divide
identity
double_divide
a
inverse
x
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
inverse
identity
double_divide
double_divide
identity
x
double_divide
identity
double_divide
x
inverse
y
double_divide
double_divide
identity
a
double_divide
double_divide
double_divide
bc
inverse
identity
double_divide
ac
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
identity
y
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
identity
y
212
inverse
identity
identity
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
inverse
identity
y
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
inverse
identity
y
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
double_divide
b
double_divide
identity
double_divide
x
inverse
y
y
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
double_divide
b
double_divide
identity
double_divide
x
inverse
y
y
21
double_divide
a
identity
inverse
a
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
identity
y
double_divide
double_divide
identity
double_divide
identity
x
double_divide
double_divide
double_divide
b
double_divide
identity
double_divide
x
inverse
y
identity
y
b
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
b
double_divide
double_divide
identity
double_divide
identity
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
21
inverse
double_divide
ba
multiply
ab
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
double_divide
b
double_divide
identity
double_divide
x
inverse
y
y
double_divide
double_divide
identity
double_divide
identity
x
double_divide
inverse
double_divide
b
double_divide
identity
double_divide
x
inverse
y
y
b
b
double_divide
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
b
double_divide
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
1
double_divide
identity
double_divide
identity
x
x
double_divide
double_divide
identity
double_divide
identity
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
double_divide
double_divide
identity
double_divide
identity
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
b
b
double_divide
x
double_divide
multiply
inverse
double_divide
x
inverse
y
b
y
b
double_divide
x
double_divide
multiply
inverse
double_divide
x
inverse
y
b
y
211
double_divide
identity
x
inverse
x
double_divide
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
double_divide
x
double_divide
multiply
double_divide
identity
double_divide
x
inverse
y
b
y
b
b
double_divide
x
double_divide
multiply
multiply
inverse
y
x
b
y
b
double_divide
x
double_divide
multiply
multiply
inverse
y
x
b
y
211
inverse
double_divide
ba
multiply
ab
double_divide
x
double_divide
multiply
inverse
double_divide
x
inverse
y
b
y
double_divide
x
double_divide
multiply
inverse
double_divide
x
inverse
y
b
y
b
b
inverse
multiply
double_divide
multiply
multiply
inverse
y
x
b
y
x
b
inverse
multiply
double_divide
multiply
multiply
inverse
y
x
b
y
x
double_divide
xy
inverse
multiply
yx
double_divide
x
double_divide
multiply
multiply
inverse
y
x
b
y
double_divide
x
double_divide
multiply
multiply
inverse
y
x
b
y
b
b
inverse
multiply
inverse
multiply
y
multiply
multiply
inverse
y
x
b
x
b
inverse
multiply
inverse
multiply
y
multiply
multiply
inverse
y
x
b
x
11
double_divide
xy
inverse
multiply
yx
inverse
multiply
double_divide
multiply
multiply
inverse
y
x
b
y
x
inverse
multiply
double_divide
multiply
multiply
inverse
y
x
b
y
x
b
b
multiply
inverse
x
multiply
y
multiply
multiply
inverse
y
x
b
b
multiply
inverse
x
multiply
y
multiply
multiply
inverse
y
x
b
inverse
multiply
inverse
y
x
multiply
inverse
x
y
inverse
multiply
inverse
multiply
y
multiply
multiply
inverse
y
x
b
x
inverse
multiply
inverse
multiply
y
multiply
multiply
inverse
y
x
b
x
b
b
multiply
inverse
inverse
y
multiply
xz
multiply
multiply
yx
z
multiply
inverse
inverse
y
multiply
xz
22
multiply
multiply
inverse
x
inverse
y
multiply
multiply
yx
b
b
multiply
inverse
inverse
y
multiply
x
multiply
multiply
inverse
x
inverse
y
multiply
multiply
yx
z
multiply
inverse
x
multiply
y
multiply
multiply
inverse
y
x
b
b
multiply
multiply
yx
z
multiply
multiply
yx
z
multiply
y
multiply
xz
multiply
multiply
yx
z
multiply
inverse
inverse
y
multiply
xz
multiply
multiply
yx
z
multiply
inverse
inverse
y
multiply
xz
1
inverse
inverse
x
x
multiply
y
multiply
xz
kbcv2.0.0.0