log Mul Mul Add acosh x6 -3 x0 log Add x0 cot x0 
Mul Add Mul log Add x0 cot x0 Add acosh x6 -3 Mul Mul Add acosh x6 -3 x0 Mul Add 1 Mul -1 Pow csc x0 2 Pow Add x0 cot x0 -1 Pow Mul Mul Add acosh x6 -3 x0 log Add x0 cot x0 -1 