--- :: 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.