( ( + . (
2
π
2
,
2
)
o
)* . distl . (id,
2
π
2
)
o
. id . id )* . distl . (id,id)
o
. id . id . id