public Generic identity(Generic a, Generic b) { Generic ta = new Cot(a).evalsimp(); Generic tb = new Cot(b).evalsimp(); return new Frac(ta.multiply(tb).subtract(JSCLInteger.valueOf(1)), ta.add(tb)).evalsimp(); }