acosh Add asech log acoth x3 Add Add x0 x0 Add Pow x0 x6 coth x5 
Mul Add 2 Mul Pow x0 Add x6 -1 x6 Pow Mul sqrt Add Add asech log acoth x3 Add Add x0 x0 Add Pow x0 x6 coth x5 -1 sqrt Add 1 Add asech log acoth x3 Add Add x0 x0 Add Pow x0 x6 coth x5 -1 