sqrt Pow atanh exp Pow x0 csc coth x3 x0 
Mul Pow Mul 2 sqrt Pow atanh exp Pow x0 csc coth x3 x0 -1 Mul Pow atanh exp Pow x0 csc coth x3 Add x0 -1 Add Mul x0 Mul Mul exp Pow x0 csc coth x3 Mul Pow x0 Add csc coth x3 -1 csc coth x3 Pow Add 1 Mul -1 Mul exp Pow x0 csc coth x3 exp Pow x0 csc coth x3 -1 Mul atanh exp Pow x0 csc coth x3 log atanh exp Pow x0 csc coth x3 