Mul Mul x0 x0 Pow x0 Pow atan x7 asin Pow cot coth x6 Mul sqrt x0 x1 
Add Mul Pow x0 Pow atan x7 asin Pow cot coth x6 Mul sqrt x0 x1 Add x0 x0 Mul Mul x0 x0 Mul Pow x0 Add Pow atan x7 asin Pow cot coth x6 Mul sqrt x0 x1 -1 Add Pow atan x7 asin Pow cot coth x6 Mul sqrt x0 x1 Mul Mul x0 log x0 Mul Pow atan x7 Add asin Pow cot coth x6 Mul sqrt x0 x1 -1 Mul Mul atan x7 log atan x7 Mul Mul Pow cot coth x6 Add Mul sqrt x0 x1 -1 Mul Mul cot coth x6 log cot coth x6 Mul x1 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow cot coth x6 Mul sqrt x0 x1 Pow cot coth x6 Mul sqrt x0 x1 -1 