Mul Mul acos E Pow x0 Pow coth x3 x7 asinh Mul Add x1 x0 x0 
Add Mul asinh Mul Add x1 x0 x0 Mul acos E Mul Pow x0 Add Pow coth x3 x7 -1 Pow coth x3 x7 Mul Mul acos E Pow x0 Pow coth x3 x7 Mul Add x0 Add x1 x0 Pow sqrt Add 1 Mul Mul Add x1 x0 x0 Mul Add x1 x0 x0 -1 