Mul acsch Mul asech exp Mul cosh x0 x0 x0 x3 
Mul x3 Mul Mul -1 Add Mul x0 Mul Mul exp Mul cosh x0 x0 Add Mul x0 sinh x0 cosh x0 Pow Mul Mul exp Mul cosh x0 x0 exp Mul cosh x0 x0 sqrt Add 1 Mul -1 Pow Mul exp Mul cosh x0 x0 exp Mul cosh x0 x0 -1 -1 asech exp Mul cosh x0 x0 Pow Mul Mul Mul asech exp Mul cosh x0 x0 x0 Mul asech exp Mul cosh x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul asech exp Mul cosh x0 x0 x0 Mul asech exp Mul cosh x0 x0 x0 -1 -1 