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