Pow x0 cosh acoth Add cos x0 cot x2 
Mul Pow x0 Add cosh acoth Add cos x0 cot x2 -1 Add cosh acoth Add cos x0 cot x2 Mul Mul x0 log x0 Mul sinh acoth Add cos x0 cot x2 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul Add cos x0 cot x2 Add cos x0 cot x2 -1 