@prefix : <#> .
    
    -0.707     a :NonPiTestValue,
                :TestValue;
         :ACOS 2.35604349019e+00;
         :ASIN -0.785247163395e+00;
         :ATAN -0.615408517629e+00;
         :COS 0.760313961744e+00;
         :COSH 1.26050988668e+00;
         :SIN -0.649555755556e+00;
         :SINH -0.76738854201e+00;
         :TAN -0.854325697329e+00;
         :TANH -0.608792164283e+00 .
    
    0.23     a :NonPiTestValue,
                :TestValue;
         :ACOS 1.33871864393e+00;
         :ASIN 0.232077682863e+00;
         :ATAN 0.226068387994e+00;
         :COS 0.973666395005e+00;
         :COSH 1.02656680622e+00;
         :SIN 0.227977523535e+00;
         :SINH 0.232033203713e+00;
         :TAN 0.234143362351e+00;
         :TANH 0.226028352279e+00 .
    
    1.23     a :NonPiTestValue,
                :TestValue;
         :ATAN 0.888173774378e+00;
         :COS 0.334237727125e+00;
         :COSH 1.85676105699e+00;
         :SIN 0.942488801932e+00;
         :SINH 1.5644684793e+00;
         :TAN 2.81981573427e+00;
         :TANH 0.842579325659e+00 .
    
    3.14159265358979323846     a :TestValue;
         :ATAN 1.26262725568e+00;
         :COS -1.0e+00;
         :COSH 11.5919532755e+00;
         :SINH 11.5487393573e+00;
         :TANH 0.996272076221e+00 .
    
    0     a :NonPiTestValue,
                :TestValue;
         :ACOS 1.57079632679e+00;
         :ASIN 0.0e+00;
         :ATAN 0.0e+00;
         :COS 1.0e+00;
         :COSH 1.0e+00;
         :SIN 0.0e+00;
         :SINH 0.0e+00;
         :TAN 0.0e+00;
         :TANH 0.0e+00 .