Add Mul asin Add acot x3 csch x0 cosh x0 x0 
Add Add Mul cosh x0 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul Add acot x3 csch x0 Add acot x3 csch x0 -1 Mul asin Add acot x3 csch x0 sinh x0 1 