Add Add x0 acosh x0 Mul x0 asec Pow acoth Pow asinh x5 x0 Add -5 exp E 
Add Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add asec Pow acoth Pow asinh x5 x0 Add -5 exp E Mul x0 Mul Mul Pow acoth Pow asinh x5 x0 Add Add -5 exp E -1 Mul Add -5 exp E Mul Mul Pow asinh x5 Add x0 -1 Mul asinh x5 log asinh x5 Pow Add 1 Mul -1 Mul Pow asinh x5 x0 Pow asinh x5 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acoth Pow asinh x5 x0 Add -5 exp E Pow acoth Pow asinh x5 x0 Add -5 exp E -1 Pow acoth Pow asinh x5 x0 Add -5 exp E Pow acoth Pow asinh x5 x0 Add -5 exp E -1 