Add x0 Add Pow sinh Pow sech x3 x0 E Pow x0 x0 
Add 1 Add Mul Pow sinh Pow sech x3 x0 Add E -1 Mul E Mul cosh Pow sech x3 x0 Mul Pow sech x3 Add x0 -1 Mul sech x3 log sech x3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 