Add Mul exp Pow exp asinh x0 cosh x0 Add x0 asec x5 x0 
Add Add Mul Add x0 asec x5 Mul exp Pow exp asinh x0 cosh x0 Mul Pow exp asinh x0 Add cosh x0 -1 Add Mul cosh x0 Mul exp asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul exp asinh x0 log exp asinh x0 sinh x0 exp Pow exp asinh x0 cosh x0 1 