Pow cosh asech cosh x0 Mul 2 Pow x0 3 
Mul Pow cosh asech cosh x0 Add Mul 2 Pow x0 3 -1 Add Mul Mul 2 Pow x0 3 Mul sinh asech cosh x0 Mul sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 Mul Mul cosh asech cosh x0 log cosh asech cosh x0 Mul 2 Mul Pow x0 2 3 