Add Pow sec acos Pow coth x0 Pow x0 sinh x0 x2 acoth acos Add Add x0 x2 x2 
Add Mul Pow sec acos Pow coth x0 Pow x0 sinh x0 Add x2 -1 Mul x2 Mul Mul tan acos Pow coth x0 Pow x0 sinh x0 sec acos Pow coth x0 Pow x0 sinh x0 Mul -1 Mul Mul Pow coth x0 Add Pow x0 sinh x0 -1 Add Mul Pow x0 sinh x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Pow x0 Add sinh x0 -1 Add sinh x0 Mul Mul x0 log x0 cosh x0 Pow sqrt Add 1 Mul -1 Mul Pow coth x0 Pow x0 sinh x0 Pow coth x0 Pow x0 sinh x0 -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Add x0 x2 x2 Add Add x0 x2 x2 -1 Pow Add 1 Mul -1 Mul acos Add Add x0 x2 x2 acos Add Add x0 x2 x2 -1 