Pow tanh Mul Mul 3 x0 Pow x3 cosh x0 x0 
Mul Pow tanh Mul Mul 3 x0 Pow x3 cosh x0 Add x0 -1 Add Mul x0 Mul Pow sech Mul Mul 3 x0 Pow x3 cosh x0 2 Add Mul Pow x3 cosh x0 3 Mul Mul 3 x0 Mul Pow x3 Add cosh x0 -1 Mul Mul x3 log x3 sinh x0 Mul tanh Mul Mul 3 x0 Pow x3 cosh x0 log tanh Mul Mul 3 x0 Pow x3 cosh x0 