1 (defun tan-cf (x k)
2        (labels ((tan-step (i)
3 			  (/ (if (= i 1)
4 				 x
5 			       (s