I
n
[
]
:
=
D
[
H
a
n
k
e
l
H
1
[
v
,
x
]
,
v
]
/
/
F
u
n
c
t
i
o
n
E
x
p
a
n
d
/
/
S
i
m
p
l
i
f
y
/
/
E
x
p
a
n
d
O
u
t
[
]
=
I
n
[
]
:
=
D
[
H
a
n
k
e
l
H
2
[
v
,
x
]
,
v
]
/
/
F
u
n
c
t
i
o
n
E
x
p
a
n
d
/
/
S
i
m
p
l
i
f
y
/
/
E
x
p
a
n
d
O
u
t
[
]
=