sec exp log Pow x3 coth x0 
Mul Mul tan exp log Pow x3 coth x0 sec exp log Pow x3 coth x0 Mul exp log Pow x3 coth x0 Mul Mul Pow x3 Add coth x0 -1 Mul Mul x3 log x3 Mul -1 Pow csch x0 2 Pow Pow x3 coth x0 -1 