Mul Mul acosh Add Pow coth sqrt E Pow x0 x6 x0 Mul x3 x2 asinh Add x3 0.970142500145332 
Mul asinh Add x3 0.970142500145332 Mul Mul x3 x2 Mul Add Mul Pow coth sqrt E Add Pow x0 x6 -1 Mul Mul coth sqrt E log coth sqrt E Mul Pow x0 Add x6 -1 x6 1 Pow Mul sqrt Add Add Pow coth sqrt E Pow x0 x6 x0 -1 sqrt Add 1 Add Pow coth sqrt E Pow x0 x6 x0 -1 