cot Mul x0 atanh Mul Mul x2 asinh x0 E 
Mul Mul -1 Pow csc Mul x0 atanh Mul Mul x2 asinh x0 E 2 Add atanh Mul Mul x2 asinh x0 E Mul x0 Mul Mul E Mul x2 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x2 asinh x0 E Mul Mul x2 asinh x0 E -1 