Add exp cot x0 Pow Pow Add 3 acoth x6 acot x5 Add x0 -5 
Add Mul exp cot x0 Mul -1 Pow csc x0 2 Mul Pow Pow Add 3 acoth x6 acot x5 Add Add x0 -5 -1 Mul Pow Add 3 acoth x6 acot x5 log Pow Add 3 acoth x6 acot x5 