sec asec asinh exp Mul E x0 
Mul Mul tan asec asinh exp Mul E x0 sec asec asinh exp Mul E x0 Mul Mul Mul exp Mul E x0 E Pow sqrt Add 1 Mul exp Mul E x0 exp Mul E x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asinh exp Mul E x0 asinh exp Mul E x0 -1 asinh exp Mul E x0 asinh exp Mul E x0 -1 