(STRATEGY
    INNERMOST)

(VAR
    x2 x5 x4 x1)
(RULES
    map#2(Nil()) -> Nil()
    map#2(Cons(x2,x5)) -> Cons(mult#2(x2,mult#2(x2,x2)),map#2(x5))
    mult#2(0(),x2) -> 0()
    mult#2(S(x4),x2) -> S(plus#2(mult#2(x4,x2),x2))
    plus#2(x4,0()) -> x4
    plus#2(x4,S(x2)) -> S(plus#2(x4,x2))
    main(x1) -> map#2(x1))