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