sech tanh Pow x7 Mul sech x0 sech Pow cot x1 x5 
Mul Mul tanh tanh Pow x7 Mul sech x0 sech Pow cot x1 x5 Mul -1 sech tanh Pow x7 Mul sech x0 sech Pow cot x1 x5 Mul Pow sech Pow x7 Mul sech x0 sech Pow cot x1 x5 2 Mul Pow x7 Add Mul sech x0 sech Pow cot x1 x5 -1 Mul Mul x7 log x7 Mul sech Pow cot x1 x5 Mul tanh x0 Mul -1 sech x0 