Mul x0 Add Mul x0 Mul acos Add x0 Mul x0 acoth x6 x0 cot coth Add Pow x0 x0 x5 
Add Add Mul x0 Mul acos Add x0 Mul x0 acoth x6 x0 cot coth Add Pow x0 x0 x5 Mul x0 Add Add Mul acos Add x0 Mul x0 acoth x6 x0 Mul x0 Add Mul x0 Mul -1 Mul Add 1 acoth x6 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul x0 acoth x6 Add x0 Mul x0 acoth x6 -1 acos Add x0 Mul x0 acoth x6 Mul Mul -1 Pow csc coth Add Pow x0 x0 x5 2 Mul Mul -1 Pow csch Add Pow x0 x0 x5 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 