Add Pow tanh x0 Pow x3 sinh Mul x0 Mul x0 x0 Mul E Pow sec x1 x3 
Mul Pow tanh x0 Add Pow x3 sinh Mul x0 Mul x0 x0 -1 Add Mul Pow x3 sinh Mul x0 Mul x0 x0 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Mul Pow x3 Add sinh Mul x0 Mul x0 x0 -1 Mul Mul x3 log x3 Mul cosh Mul x0 Mul x0 x0 Add Mul x0 x0 Mul x0 Add x0 x0 