| |  
 |  | 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 
 |  
 |  
 |  
 |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 | | http://functions.wolfram.com/01.12.16.0144.01 | 
 |  
 |  
 |  
 |  
 |  
 |  |   
 |  
 |  |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 | | ArcSin[x] + ArcCoth[y] == 
 -2 I Pi (Floor[(-Arg[1/((I x + Sqrt[1 - x^2])^I Sqrt[1 - 1/y])] - 
       (1/2) Arg[1 + 1/y] + Pi)/(2 Pi)] + 
    Floor[(Pi - Im[Log[1/((I x + Sqrt[1 - x^2])^I Sqrt[1 - 1/y])]])/(2 Pi)] + 
    Floor[(Pi - (1/2) Im[Log[1 + 1/y]])/(2 Pi)]) - 
  2 I Pi (Floor[(-Arg[(I x + Sqrt[1 - x^2])^(-I)] + (1/2) Arg[1 - 1/y] + Pi)/
      (2 Pi)] + Floor[((1/2) Im[Log[1 - 1/y]] + Pi)/(2 Pi)] + 
    Floor[(Re[Log[I x + Sqrt[1 - x^2]]] + Pi)/(2 Pi)]) + 
  Log[Sqrt[1 + 1/y]/((I x + Sqrt[1 - x^2])^I Sqrt[1 - 1/y])] | 
 |  
 |  
 |  
 |  
 |  
 |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 | | Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["ArcSin", "[", "x", "]"]], "+", RowBox[List["ArcCoth", "[", "y", "]"]]]], "\[Equal]", RowBox[List[RowBox[List[RowBox[List["-", "2"]], " ", "\[ImaginaryI]", " ", "\[Pi]", " ", RowBox[List["(", RowBox[List[RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List["-", RowBox[List["Arg", "[", FractionBox[SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], SqrtBox[RowBox[List["1", "-", FractionBox["1", "y"]]]]], "]"]]]], "-", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Arg", "[", RowBox[List["1", "+", FractionBox["1", "y"]]], "]"]]]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List["\[Pi]", "-", RowBox[List["Im", "[", RowBox[List["Log", "[", FractionBox[SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], SqrtBox[RowBox[List["1", "-", FractionBox["1", "y"]]]]], "]"]], "]"]]]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List["\[Pi]", "-", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Im", "[", RowBox[List["Log", "[", RowBox[List["1", "+", FractionBox["1", "y"]]], "]"]], "]"]]]]]], RowBox[List["2", " ", "\[Pi]"]]], "]"]]]], ")"]]]], "-", RowBox[List["2", " ", "\[ImaginaryI]", " ", "\[Pi]", " ", RowBox[List["(", RowBox[List[RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List["-", RowBox[List["Arg", "[", SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], "]"]]]], "+", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Arg", "[", RowBox[List["1", "-", FractionBox["1", "y"]]], "]"]]]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Im", "[", RowBox[List["Log", "[", RowBox[List["1", "-", FractionBox["1", "y"]]], "]"]], "]"]]]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List["Re", "[", RowBox[List["Log", "[", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], "]"]], "]"]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]]]], ")"]]]], "+", RowBox[List["Log", "[", FractionBox[RowBox[List[SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], " ", SqrtBox[RowBox[List["1", "+", FractionBox["1", "y"]]]]]], SqrtBox[RowBox[List["1", "-", FractionBox["1", "y"]]]]], "]"]]]]]]]] | 
 |  
 |  
 |  
 |  
 |  
 |  |   
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  
 |  
 | | 
   <math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'>  <semantics>  <mrow>  <mrow>  <mrow>  <msup>  <mi> sin </mi>  <mrow>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  </msup>  <mo> ( </mo>  <mi> x </mi>  <mo> ) </mo>  </mrow>  <mo> + </mo>  <mrow>  <msup>  <mi> coth </mi>  <mrow>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  </msup>  <mo> ( </mo>  <mi> y </mi>  <mo> ) </mo>  </mrow>  </mrow>  <mo>  </mo>  <mrow>  <mrow>  <mrow>  <mo> - </mo>  <mn> 2 </mn>  </mrow>  <mo> ⁢ </mo>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> π </mi>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mo> ⌊ </mo>  <mfrac>  <mrow>  <mrow>  <mo> - </mo>  <mrow>  <mi> arg </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> x </mi>  </mrow>  <mo> + </mo>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <msup>  <mi> x </mi>  <mn> 2 </mn>  </msup>  </mrow>  </msqrt>  </mrow>  <mo> ) </mo>  </mrow>  <mrow>  <mo> - </mo>  <mi> ⅈ </mi>  </mrow>  </msup>  <mo> ) </mo>  </mrow>  </mrow>  <mo> + </mo>  <mrow>  <mfrac>  <mn> 1 </mn>  <mn> 2 </mn>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <mi> arg </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> + </mo>  <mi> π </mi>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> π </mi>  </mrow>  </mfrac>  <mo> ⌋ </mo>  </mrow>  <mo> + </mo>  <mrow>  <mo> ⌊ </mo>  <mfrac>  <mrow>  <mrow>  <mfrac>  <mn> 1 </mn>  <mn> 2 </mn>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <mi> Im </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> log </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> + </mo>  <mi> π </mi>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> π </mi>  </mrow>  </mfrac>  <mo> ⌋ </mo>  </mrow>  <mo> + </mo>  <mrow>  <mo> ⌊ </mo>  <mfrac>  <mrow>  <mrow>  <mi> Re </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> log </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mrow>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> x </mi>  </mrow>  <mo> + </mo>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <msup>  <mi> x </mi>  <mn> 2 </mn>  </msup>  </mrow>  </msqrt>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  <mo> + </mo>  <mi> π </mi>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> π </mi>  </mrow>  </mfrac>  <mo> ⌋ </mo>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> π </mi>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mo> ⌊ </mo>  <mfrac>  <mrow>  <mrow>  <mrow>  <mo> - </mo>  <mfrac>  <mn> 1 </mn>  <mn> 2 </mn>  </mfrac>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mi> arg </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mn> 1 </mn>  <mo> + </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> - </mo>  <mrow>  <mi> arg </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mfrac>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> x </mi>  </mrow>  <mo> + </mo>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <msup>  <mi> x </mi>  <mn> 2 </mn>  </msup>  </mrow>  </msqrt>  </mrow>  <mo> ) </mo>  </mrow>  <mrow>  <mo> - </mo>  <mi> ⅈ </mi>  </mrow>  </msup>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  </msqrt>  </mfrac>  <mo> ) </mo>  </mrow>  <mo> + </mo>  <mi> π </mi>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> π </mi>  </mrow>  </mfrac>  <mo> ⌋ </mo>  </mrow>  <mo> + </mo>  <mrow>  <mo> ⌊ </mo>  <mfrac>  <mrow>  <mi> π </mi>  <mo> - </mo>  <mrow>  <mfrac>  <mn> 1 </mn>  <mn> 2 </mn>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <mi> Im </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> log </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mn> 1 </mn>  <mo> + </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> π </mi>  </mrow>  </mfrac>  <mo> ⌋ </mo>  </mrow>  <mo> + </mo>  <mrow>  <mo> ⌊ </mo>  <mfrac>  <mrow>  <mi> π </mi>  <mo> - </mo>  <mrow>  <mi> Im </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> log </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mfrac>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> x </mi>  </mrow>  <mo> + </mo>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <msup>  <mi> x </mi>  <mn> 2 </mn>  </msup>  </mrow>  </msqrt>  </mrow>  <mo> ) </mo>  </mrow>  <mrow>  <mo> - </mo>  <mi> ⅈ </mi>  </mrow>  </msup>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  </msqrt>  </mfrac>  <mo> ) </mo>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> π </mi>  </mrow>  </mfrac>  <mo> ⌋ </mo>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> + </mo>  <mrow>  <mi> log </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mfrac>  <mrow>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mi> ⅈ </mi>  <mo> ⁢ </mo>  <mi> x </mi>  </mrow>  <mo> + </mo>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <msup>  <mi> x </mi>  <mn> 2 </mn>  </msup>  </mrow>  </msqrt>  </mrow>  <mo> ) </mo>  </mrow>  <mrow>  <mo> - </mo>  <mi> ⅈ </mi>  </mrow>  </msup>  <mo> ⁢ </mo>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> + </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  </msqrt>  </mrow>  <msqrt>  <mrow>  <mn> 1 </mn>  <mo> - </mo>  <mfrac>  <mn> 1 </mn>  <mi> y </mi>  </mfrac>  </mrow>  </msqrt>  </mfrac>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <eq />  <apply>  <plus />  <apply>  <arcsin />  <ci> x </ci>  </apply>  <apply>  <arccoth />  <ci> y </ci>  </apply>  </apply>  <apply>  <plus />  <apply>  <times />  <cn type='integer'> -2 </cn>  <imaginaryi />  <pi />  <apply>  <plus />  <apply>  <floor />  <apply>  <times />  <apply>  <plus />  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <arg />  <apply>  <power />  <apply>  <plus />  <apply>  <times />  <imaginaryi />  <ci> x </ci>  </apply>  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> x </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <imaginaryi />  </apply>  </apply>  </apply>  </apply>  <apply>  <times />  <cn type='rational'> 1 <sep /> 2 </cn>  <apply>  <arg />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  <pi />  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <pi />  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  <apply>  <floor />  <apply>  <times />  <apply>  <plus />  <apply>  <times />  <cn type='rational'> 1 <sep /> 2 </cn>  <apply>  <imaginary />  <apply>  <ln />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  <pi />  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <pi />  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  <apply>  <floor />  <apply>  <times />  <apply>  <plus />  <apply>  <real />  <apply>  <ln />  <apply>  <plus />  <apply>  <times />  <imaginaryi />  <ci> x </ci>  </apply>  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> x </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  </apply>  </apply>  </apply>  <pi />  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <pi />  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <imaginaryi />  <pi />  <apply>  <plus />  <apply>  <floor />  <apply>  <times />  <apply>  <plus />  <apply>  <times />  <apply>  <times />  <cn type='integer'> -1 </cn>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  <apply>  <arg />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <arg />  <apply>  <times />  <apply>  <power />  <apply>  <plus />  <apply>  <times />  <imaginaryi />  <ci> x </ci>  </apply>  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> x </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <imaginaryi />  </apply>  </apply>  <apply>  <power />  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  <pi />  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <pi />  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  <apply>  <floor />  <apply>  <times />  <apply>  <plus />  <pi />  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='rational'> 1 <sep /> 2 </cn>  <apply>  <imaginary />  <apply>  <ln />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <pi />  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  <apply>  <floor />  <apply>  <times />  <apply>  <plus />  <pi />  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <imaginary />  <apply>  <ln />  <apply>  <times />  <apply>  <power />  <apply>  <plus />  <apply>  <times />  <imaginaryi />  <ci> x </ci>  </apply>  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> x </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <imaginaryi />  </apply>  </apply>  <apply>  <power />  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <pi />  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  </apply>  <apply>  <ln />  <apply>  <times />  <apply>  <power />  <apply>  <plus />  <apply>  <times />  <imaginaryi />  <ci> x </ci>  </apply>  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> x </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <imaginaryi />  </apply>  </apply>  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  <apply>  <power />  <apply>  <power />  <apply>  <plus />  <cn type='integer'> 1 </cn>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 1 </cn>  <apply>  <power />  <ci> y </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  <cn type='rational'> 1 <sep /> 2 </cn>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  </apply>  </apply>  </annotation-xml>  </semantics>  </math> 
   | 
 |  
 |  
 |  
 |  
 |  
 |  |  
 |  |  
 |  
 |  
 |  |  
 |  |  
 |  |  
 |  
 |  
 |  |  
 | | Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List[RowBox[List["ArcSin", "[", "x_", "]"]], "+", RowBox[List["ArcCoth", "[", "y_", "]"]]]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[RowBox[List["-", "2"]], " ", "\[ImaginaryI]", " ", "\[Pi]", " ", RowBox[List["(", RowBox[List[RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List["-", RowBox[List["Arg", "[", FractionBox[SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], SqrtBox[RowBox[List["1", "-", FractionBox["1", "y"]]]]], "]"]]]], "-", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Arg", "[", RowBox[List["1", "+", FractionBox["1", "y"]]], "]"]]]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List["\[Pi]", "-", RowBox[List["Im", "[", RowBox[List["Log", "[", FractionBox[SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], SqrtBox[RowBox[List["1", "-", FractionBox["1", "y"]]]]], "]"]], "]"]]]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List["\[Pi]", "-", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Im", "[", RowBox[List["Log", "[", RowBox[List["1", "+", FractionBox["1", "y"]]], "]"]], "]"]]]]]], RowBox[List["2", " ", "\[Pi]"]]], "]"]]]], ")"]]]], "-", RowBox[List["2", " ", "\[ImaginaryI]", " ", "\[Pi]", " ", RowBox[List["(", RowBox[List[RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List["-", RowBox[List["Arg", "[", SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], "]"]]]], "+", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Arg", "[", RowBox[List["1", "-", FractionBox["1", "y"]]], "]"]]]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List[FractionBox["1", "2"], " ", RowBox[List["Im", "[", RowBox[List["Log", "[", RowBox[List["1", "-", FractionBox["1", "y"]]], "]"]], "]"]]]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]], "+", RowBox[List["Floor", "[", FractionBox[RowBox[List[RowBox[List["Re", "[", RowBox[List["Log", "[", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], "]"]], "]"]], "+", "\[Pi]"]], RowBox[List["2", " ", "\[Pi]"]]], "]"]]]], ")"]]]], "+", RowBox[List["Log", "[", FractionBox[RowBox[List[SuperscriptBox[RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", "x"]], "+", SqrtBox[RowBox[List["1", "-", SuperscriptBox["x", "2"]]]]]], ")"]], RowBox[List["-", "\[ImaginaryI]"]]], " ", SqrtBox[RowBox[List["1", "+", FractionBox["1", "y"]]]]]], SqrtBox[RowBox[List["1", "-", FractionBox["1", "y"]]]]], "]"]]]]]]]] | 
 |  
 |   
 |  
 |  
 | |   
 |  
 |  
 |  
 |  
 |  
 |  
 | | Date Added to functions.wolfram.com (modification date) | 
 |  
 |  
 |  
 |  
 |  
 |  
 |  
 |  |  
 |   
 |  
 |  
 |  |  | 
 
 
 | 
 |