Mul Pow x0 -5 Add sec Mul x2 x0 Mul Add coth x5 x0 Pow cot x3 x0 
Add Mul Add sec Mul x2 x0 Mul Add coth x5 x0 Pow cot x3 x0 Mul Pow x0 6 -5 Mul Pow x0 -5 Add Mul Mul tan Mul x2 x0 sec Mul x2 x0 x2 Add Pow cot x3 x0 Mul Add coth x5 x0 Mul Pow cot x3 Add x0 -1 Mul cot x3 log cot x3 