36     private static void checkEq(CR x, CR y, String s) {  in checkEq()
44     private static boolean isApprInt(CR x) {  in isApprInt()
49     final static CR ZERO = CR.valueOf(0);
50     final static CR ONE = CR.valueOf(1);
51     final static CR TWO = CR.valueOf(2);
52     final static CR BIG = CR.valueOf(200).exp();
53     final static CR SMALL = BIG.inverse();
54     final static CR HALF_PI = CR.PI.divide(CR.valueOf(2));
59                                              .monotoneDerivative(ZERO, CR.PI);
66     private static void checkTrig(CR x) {  in checkTrig()
95             CR v = CR.valueOf(i);  in checkTrig()
102                     CR.valueOf(1),  in checkTrig()
107         CR xcos = x.cos();  in checkTrig()
108         CR tmp = xcos.acos();  in checkTrig()
111         check(isApprInt(tmp.subtract(x).divide(CR.PI))  in checkTrig()
112               || isApprInt(tmp.add(x).divide(CR.PI)),  in checkTrig()
114         CR xsin = x.sin();  in checkTrig()
116         CR tmp2 = xsin.asin();  in checkTrig()
120         check(isApprInt(tmp.subtract(x).divide(CR.PI))  in checkTrig()
121               || isApprInt(tmp.add(x).divide(CR.PI)),  in checkTrig()
125     private static void checkExpLn(CR x) {  in checkExpLn()
133             checkEq(x.multiply(CR.valueOf(2)).exp(),  in checkExpLn()
142             checkEq(x.ln().divide(CR.valueOf(2)), x.sqrt().ln(),  in checkExpLn()
146                 CR v = CR.valueOf(i);  in checkExpLn()
155     private static void checkBasic(CR x) {  in checkBasic()
165         checkEq(ZERO.acos(), CR.PI.divide(TWO), "acos(0)");  in testSlowTrig()
167         checkEq(ONE.negate().acos(), CR.PI, "acos(-1)");  in testSlowTrig()
169         checkEq(ONE.asin(), CR.PI.divide(TWO), "asin(1)");  in testSlowTrig()
170         checkEq(ONE.negate().asin(), CR.PI.divide(TWO).negate(), "asin(-1)");  in testSlowTrig()
172         CR BIG = CR.valueOf(200).exp();  in testSlowTrig()
177         checkTrig(CR.PI);  in testSlowTrig()
178         checkTrig(CR.PI.subtract(SMALL));  in testSlowTrig()
179         checkTrig(CR.PI.add(SMALL));  in testSlowTrig()
180         checkTrig(CR.PI.negate());  in testSlowTrig()
181         checkTrig(CR.PI.negate().subtract(SMALL));  in testSlowTrig()
182         checkTrig(CR.PI.negate().add(SMALL));  in testSlowTrig()
187             final CR x = CR.valueOf(d);  in testSlowTrig()
194             final CR x = CR.valueOf(d);  in testSlowTrig()
200         checkEq(CR.valueOf(1).ln(), CR.valueOf(0), "ln(1) != 0");  in testSlowExpLn()
201         checkExpLn(CR.valueOf(0));  in testSlowExpLn()
202         CR BIG = CR.valueOf(200).exp();  in testSlowExpLn()
207         checkExpLn(CR.PI);  in testSlowExpLn()
215             final CR x = CR.valueOf(d);  in testSlowExpLn()
222             final CR x = CR.valueOf(d);  in testSlowExpLn()
231             check(CR.PI.compareTo(CR.atan_PI, i) == 0, "pi(" + i + ")");  in testSlowBasic()
237             final CR x = CR.valueOf(d);  in testSlowBasic()
244             final CR x = CR.valueOf(d);  in testSlowBasic()