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