[spec] reciprocal circular function identities