sech Pow acsch Add x0 -2 Pow exp x0 acosh Add x5 x0 
Mul Mul tanh Pow acsch Add x0 -2 Pow exp x0 acosh Add x5 x0 Mul -1 sech Pow acsch Add x0 -2 Pow exp x0 acosh Add x5 x0 Mul Pow acsch Add x0 -2 Add Pow exp x0 acosh Add x5 x0 -1 Add Mul Pow exp x0 acosh Add x5 x0 Mul -1 Pow Mul Mul Add x0 -2 Add x0 -2 sqrt Add 1 Mul -1 Pow Mul Add x0 -2 Add x0 -2 -1 -1 Mul Mul acsch Add x0 -2 log acsch Add x0 -2 Mul Pow exp x0 Add acosh Add x5 x0 -1 Add Mul acosh Add x5 x0 exp x0 Mul Mul exp x0 log exp x0 Pow Mul sqrt Add Add x5 x0 -1 sqrt Add 1 Add x5 x0 -1 