tanh Mul Mul tanh sec acoth x0 2 cot x0 
Mul Pow sech Mul Mul tanh sec acoth x0 2 cot x0 2 Add Mul cot x0 Mul 2 Mul Pow sech sec acoth x0 2 Mul Mul tan acoth x0 sec acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tanh sec acoth x0 2 Mul -1 Pow csc x0 2 