Mul sec Add atanh sech x0 csch Pow x3 x0 coth x0 
Add Mul coth x0 Mul Mul tan Add atanh sech x0 csch Pow x3 x0 sec Add atanh sech x0 csch Pow x3 x0 Add Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul sech x0 sech x0 -1 Mul Mul Mul -1 coth Pow x3 x0 csch Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul sec Add atanh sech x0 csch Pow x3 x0 Mul -1 Pow csch x0 2 