sqrt Mul x2 Mul Pow x0 -1 Pow asec x3 coth x0 
Mul Pow Mul 2 sqrt Mul x2 Mul Pow x0 -1 Pow asec x3 coth x0 -1 Mul x2 Add Mul Pow asec x3 coth x0 Mul Pow x0 2 -1 Mul Pow x0 -1 Mul Pow asec x3 Add coth x0 -1 Mul Mul asec x3 log asec x3 Mul -1 Pow csch x0 2 