asin Mul csch acos Add 1 x0 2 
Mul Mul 2 Mul Mul Mul -1 coth acos Add 1 x0 csch acos Add 1 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 1 x0 Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul csch acos Add 1 x0 2 Mul csch acos Add 1 x0 2 -1 