Taylor series of Complex.tan

Stream: Is there code for X?

[Snir Broshi]

I found the Taylor series for sin/cos/arctan/exp/log but not for Complex.tan.
We have docs#bernoulli, so we can define the series.
Is someone working on it?
(csc, sec, cot also seem to be missing)

[Kim Morrison]

Oh, where is the Taylor series for arctan? I was annoyed that it seems many lemmas about iterated derivatives of arctan were missing.

[Snir Broshi]

docs#Complex.hasSum_arctan

[Kim Morrison]

Thanks. That does indeed avoid the iterated derivative lemmas I wanted.