Pow csc Mul acosh cosh sqrt x0 x0 Mul x0 Mul asech Pow atanh x0 log x1 x0 
Mul Pow csc Mul acosh cosh sqrt x0 x0 Add Mul x0 Mul asech Pow atanh x0 log x1 x0 -1 Add Mul Mul x0 Mul asech Pow atanh x0 log x1 x0 Mul Mul Mul -1 cot Mul acosh cosh sqrt x0 x0 csc Mul acosh cosh sqrt x0 x0 Add Mul x0 Mul Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add cosh sqrt x0 -1 sqrt Add 1 cosh sqrt x0 -1 acosh cosh sqrt x0 Mul Mul csc Mul acosh cosh sqrt x0 x0 log csc Mul acosh cosh sqrt x0 x0 Add Mul asech Pow atanh x0 log x1 x0 Mul x0 Add Mul x0 Mul Mul Pow atanh x0 Add log x1 -1 Mul log x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow atanh x0 log x1 Pow atanh x0 log x1 sqrt Add 1 Mul -1 Pow Mul Pow atanh x0 log x1 Pow atanh x0 log x1 -1 -1 asech Pow atanh x0 log x1 