Mul x0 sec acoth Add sin acosh x7 log cot x0 
Add sec acoth Add sin acosh x7 log cot x0 Mul x0 Mul Mul tan acoth Add sin acosh x7 log cot x0 sec acoth Add sin acosh x7 log cot x0 Mul Mul Mul -1 Pow csc x0 2 Pow cot x0 -1 Pow Add 1 Mul -1 Mul Add sin acosh x7 log cot x0 Add sin acosh x7 log cot x0 -1 