Added inverse class `ACot`. Added tests.