(_, _) -> _

push 2
pow
mul
split
swap 1
pop 1

return