Mul Add Pow coth asinh Pow x7 x6 x0 acsc acos Add Mul 2 x0 2 -3 
Mul -3 Add Mul Pow coth asinh Pow x7 x6 Add x0 -1 Mul coth asinh Pow x7 x6 log coth asinh Pow x7 x6 Mul -1 Mul Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add Mul 2 x0 2 Add Mul 2 x0 2 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Add Mul 2 x0 2 acos Add Mul 2 x0 2 -1 acos Add Mul 2 x0 2 acos Add Mul 2 x0 2 -1 