arc-cotangent public under trigonometric-function 12 List Picture As a command %3 n0 arc-cotangent n1 trigonometric-function n1->n0