Mul Pow acos cot x7 cosh Pow acsch cot x3 x0 x0 
Add Mul x0 Mul Pow acos cot x7 Add cosh Pow acsch cot x3 x0 -1 Mul Mul acos cot x7 log acos cot x7 Mul sinh Pow acsch cot x3 x0 Mul Pow acsch cot x3 Add x0 -1 Mul acsch cot x3 log acsch cot x3 Pow acos cot x7 cosh Pow acsch cot x3 x0 