coth Pow acoth Add sin x0 x0 Add x0 -4 
Mul Mul -1 Pow csch Pow acoth Add sin x0 x0 Add x0 -4 2 Mul Pow acoth Add sin x0 x0 Add Add x0 -4 -1 Add Mul Add x0 -4 Mul Add cos x0 1 Pow Add 1 Mul -1 Mul Add sin x0 x0 Add sin x0 x0 -1 Mul acoth Add sin x0 x0 log acoth Add sin x0 x0 