asech Pow cosh x4 Add 1 x0 
Mul Mul Pow cosh x4 Add Add 1 x0 -1 Mul cosh x4 log cosh x4 Pow Mul Mul Pow cosh x4 Add 1 x0 Pow cosh x4 Add 1 x0 sqrt Add 1 Mul -1 Pow Mul Pow cosh x4 Add 1 x0 Pow cosh x4 Add 1 x0 -1 -1 