Mul log Add log x6 x0 Pow acoth x0 Add x3 cot Add csc acos x0 x0 
Add Mul Pow acoth x0 Add x3 cot Add csc acos x0 x0 Pow Add log x6 x0 -1 Mul log Add log x6 x0 Mul Pow acoth x0 Add Add x3 cot Add csc acos x0 x0 -1 Add Mul Add x3 cot Add csc acos x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Mul -1 Pow csc Add csc acos x0 x0 2 Add Mul Mul Mul -1 cot acos x0 csc acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 