Mul x0 Pow Mul acoth csc x6 asinh sqrt x7 x0 
Add Pow Mul acoth csc x6 asinh sqrt x7 x0 Mul x0 Mul Pow Mul acoth csc x6 asinh sqrt x7 Add x0 -1 Mul Mul acoth csc x6 asinh sqrt x7 log Mul acoth csc x6 asinh sqrt x7 