Mul Pow tanh x0 Pow x3 x0 Pow E Pow 4 exp x0 
Add Mul Pow E Pow 4 exp x0 Mul Pow tanh x0 Add Pow x3 x0 -1 Add Mul Pow x3 x0 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow tanh x0 Pow x3 x0 Mul Pow E Add Pow 4 exp x0 -1 Mul Mul E log E Mul Pow 4 Add exp x0 -1 Mul 5.38629436111989 exp x0 