Add acot Pow sinh tan csch acoth x0 x0 x0 
Add Mul -1 Mul Mul Pow sinh tan csch acoth x0 Add x0 -1 Add Mul x0 Mul cosh tan csch acoth x0 Mul Pow sec csch acoth x0 2 Mul Mul Mul -1 coth acoth x0 csch acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sinh tan csch acoth x0 log sinh tan csch acoth x0 Pow Add 1 Mul Pow sinh tan csch acoth x0 x0 Pow sinh tan csch acoth x0 x0 -1 1 