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