Pow cosh x0 asech atan cos Pow E x0 
Mul Pow cosh x0 Add asech atan cos Pow E x0 -1 Add Mul asech atan cos Pow E x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Mul Mul Mul -1 sin Pow E x0 Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul cos Pow E x0 cos Pow E x0 -1 Pow Mul Mul atan cos Pow E x0 atan cos Pow E x0 sqrt Add 1 Mul -1 Pow Mul atan cos Pow E x0 atan cos Pow E x0 -1 -1 