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