capitalex / fib.formal

<> (defer ?x) (?x) <> ((Num 0) + (Num ?n)) ((Num ?n)) <> ((Num ?n) + (Num 0)) ((Num ?n)) <> ((Num ?x) + (Num ?y)) ((Num @add ?x ?y)) <> (fib (Num 0)) ((Num 0)) <> (fib (Num 1)) ((Num 1)) <> (fib (Num ?n)) (defer fib (Num @sub ?n 1) + defer fib (Num @sub ?n 2)) fib (Num 12)

--- :: fib (Num 5) 009 :: fib (Num @sub 5 1) + fib (Num @sub 5 2) 002 :: fib (Num 4) + fib (Num @sub 5 2) 002 :: fib (Num 4) + fib (Num 3) 009 :: fib (Num @sub 4 1) + fib (Num @sub 4 2) + fib (Num 3) 009 :: fib (Num @sub 4 1) + fib (Num @sub 4 2) + fib (Num @sub 3 1) + fib (Num @sub 3 2) 002 :: fib (Num 3) + fib (Num @sub 4 2) + fib (Num @sub 3 1) + fib (Num @sub 3 2) 002 :: fib (Num 3) + fib (Num 2) + fib (Num @sub 3 1) + fib (Num @sub 3 2) 002 :: fib (Num 3) + fib (Num 2) + fib (Num 2) + fib (Num @sub 3 2) 002 :: fib (Num 3) + fib (Num 2) + fib (Num 2) + fib (Num 1) 009 :: fib (Num @sub 3 1) + fib (Num @sub 3 2) + fib (Num 2) + fib (Num 2) + fib (Num 1) 009 :: fib (Num @sub 3 1) + fib (Num @sub 3 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num 2) + fib (Num 1) 009 :: fib (Num @sub 3 1) + fib (Num @sub 3 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num 1) 008 :: fib (Num @sub 3 1) + fib (Num @sub 3 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) 002 :: fib (Num 2) + fib (Num @sub 3 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) 002 :: fib (Num 2) + fib (Num 1) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) 002 :: fib (Num 2) + fib (Num 1) + fib (Num 1) + fib (Num @sub 2 2) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) 002 :: fib (Num 2) + fib (Num 1) + fib (Num 1) + fib (Num 0) + fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) 002 :: fib (Num 2) + fib (Num 1) + fib (Num 1) + fib (Num 0) + fib (Num 1) + fib (Num @sub 2 2) + (Num 1) 002 :: fib (Num 2) + fib (Num 1) + fib (Num 1) + fib (Num 0) + fib (Num 1) + fib (Num 0) + (Num 1) 009 :: fib (Num @sub 2 1) + fib (Num @sub 2 2) + fib (Num 1) + fib (Num 1) + fib (Num 0) + fib (Num 1) + fib (Num 0) + (Num 1) 008 :: fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) + fib (Num 1) + fib (Num 0) + fib (Num 1) + fib (Num 0) + (Num 1) 008 :: fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) + (Num 1) + fib (Num 0) + fib (Num 1) + fib (Num 0) + (Num 1) 007 :: fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) + (Num 1) + (Num 0) + fib (Num 1) + fib (Num 0) + (Num 1) 008 :: fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) + (Num 1) + (Num 0) + (Num 1) + fib (Num 0) + (Num 1) 007 :: fib (Num @sub 2 1) + fib (Num @sub 2 2) + (Num 1) + (Num 1) + (Num 0) + (Num 1) + (Num 0) + (Num 1) 002 :: fib (Num 1) + fib (Num @sub 2 2) + (Num 1) + (Num 1) + (Num 0) + (Num 1) + (Num 0) + (Num 1) 002 :: fib (Num 1) + fib (Num 0) + (Num 1) + (Num 1) + (Num 0) + (Num 1) + (Num 0) + (Num 1) 006 :: fib (Num 1) + fib (Num 0) + (Num @add 1 1) + (Num 0) + (Num 1) + (Num 0) + (Num 1) 004 :: fib (Num 1) + fib (Num 0) + (Num @add 1 1) + (Num 1) + (Num 0) + (Num 1) 004 :: fib (Num 1) + fib (Num 0) + (Num @add 1 1) + (Num 1) + (Num 1) 008 :: (Num 1) + fib (Num 0) + (Num @add 1 1) + (Num 1) + (Num 1) 007 :: (Num 1) + (Num 0) + (Num @add 1 1) + (Num 1) + (Num 1) 003 :: (Num 1) + (Num 0) + (Num 2) + (Num 1) + (Num 1) 006 :: (Num 1) + (Num 0) + (Num 2) + (Num @add 1 1) 005 :: (Num 1) + (Num 2) + (Num @add 1 1) 003 :: (Num 1) + (Num 2) + (Num 2) 006 :: (Num @add 1 2) + (Num 2) 003 :: (Num 3) + (Num 2) 006 :: (Num @add 3 2) 003 :: (Num 5) --- :: (Num 5) Completed in 40 rewrites needing 177 iterations.