Pow cot Add x0 sech Pow cot acot acosh x5 x0 atanh x0 
Mul Pow cot Add x0 sech Pow cot acot acosh x5 x0 Add atanh x0 -1 Add Mul atanh x0 Mul Mul -1 Pow csc Add x0 sech Pow cot acot acosh x5 x0 2 Add 1 Mul Mul tanh Pow cot acot acosh x5 x0 Mul -1 sech Pow cot acot acosh x5 x0 Mul Pow cot acot acosh x5 Add x0 -1 Mul cot acot acosh x5 log cot acot acosh x5 Mul Mul cot Add x0 sech Pow cot acot acosh x5 x0 log cot Add x0 sech Pow cot acot acosh x5 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 