Pow asinh sqrt x4 Pow Pow Pow acos coth x2 Add x0 x6 x0 x5 
Mul Pow asinh sqrt x4 Add Pow Pow Pow acos coth x2 Add x0 x6 x0 x5 -1 Mul Mul asinh sqrt x4 log asinh sqrt x4 Mul Pow Pow Pow acos coth x2 Add x0 x6 x0 Add x5 -1 Mul x5 Mul Pow Pow acos coth x2 Add x0 x6 Add x0 -1 Add Mul x0 Mul Pow acos coth x2 Add Add x0 x6 -1 Mul acos coth x2 log acos coth x2 Mul Pow acos coth x2 Add x0 x6 log Pow acos coth x2 Add x0 x6 