I
n
[
]
:
=
r
u
l
e
s
=
{
z
-
>
x
,
n
_
z
-
>
n
x
}
;
I
n
[
]
:
=
s
=
T
r
i
g
T
o
E
x
p
[
C
o
s
h
[
z
]
]
O
u
t
[
]
=
-
z
2
+
z
2
I
n
[
]
:
=
s
/
.
r
u
l
e
s
O
u
t
[
]
=
1
2
x
+
x
2
I
n
[
]
:
=
t
=
T
r
i
g
T
o
E
x
p
[
C
o
s
h
[
5
z
]
]
O
u
t
[
]
=
-
5
z
2
+
5
z
2
I
n
[
]
:
=
t
/
.
r
u
l
e
s
O
u
t
[
]
=
1
2
5
x
+
5
x
2