arccosec1 is_differentiable_on cosec .: ].(- (PI / 2)),0.[