f(s(s(s(s(s(s(d0())))))),s(s(s(s(d0())))),p(),d0(),d0()) reduced in 19 ms