cotangents
not defined yet