Mul -5 Add Mul Mul Pow sqrt x0 acos x0 sin E Mul x0 coth x6 acot Mul Pow Add x6 2 x0 -1 
Mul -5 Add Add Mul Mul x0 coth x6 Mul sin E Mul Pow sqrt x0 Add acos x0 -1 Add Mul acos x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow sqrt x0 acos x0 sin E coth x6 Mul -1 Mul Mul -1 Mul Pow Add x6 2 Add x0 -1 Mul Add x6 2 log Add x6 2 Pow Add 1 Mul Mul Pow Add x6 2 x0 -1 Mul Pow Add x6 2 x0 -1 -1 