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