Add Add atanh Mul E acosh Add x0 sech x1 x0 acos Add cot x0 -1 
Add Add Mul Mul E Pow Mul sqrt Add Add x0 sech x1 -1 sqrt Add 1 Add x0 sech x1 -1 Pow Add 1 Mul -1 Mul Mul E acosh Add x0 sech x1 Mul E acosh Add x0 sech x1 -1 1 Mul -1 Mul Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul Add cot x0 -1 Add cot x0 -1 -1 