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