Mul x0 asech Add Add Pow x0 atanh x0 coth asin Add x5 acos x6 x0 
Add asech Add Add Pow x0 atanh x0 coth asin Add x5 acos x6 x0 Mul x0 Mul Add Mul Pow x0 Add atanh x0 -1 Add atanh x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul Mul Add Add Pow x0 atanh x0 coth asin Add x5 acos x6 x0 Add Add Pow x0 atanh x0 coth asin Add x5 acos x6 x0 sqrt Add 1 Mul -1 Pow Mul Add Add Pow x0 atanh x0 coth asin Add x5 acos x6 x0 Add Add Pow x0 atanh x0 coth asin Add x5 acos x6 x0 -1 -1 