Mul asec log asinh x0 Add Pow coth x6 Pow E -4 -4 
Mul Add Pow coth x6 Pow E -4 -4 Mul Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow asinh x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log asinh x0 log asinh x0 -1 log asinh x0 log asinh x0 -1 