1 665c255d 2023-08-04 jrmu (defun tan-cf (x k)
2 665c255d 2023-08-04 jrmu        (labels ((tan-step (i)
3 665c255d 2023-08-04 jrmu 			  (/ (if (= i 1)
4 665c255d 2023-08-04 jrmu 				 x
5 665c255d 2023-08-04 jrmu 			       (s