sec Mul Pow cot x5 Pow Mul x0 x0 Mul x6 coth x5 atan x3 
Mul Mul tan Mul Pow cot x5 Pow Mul x0 x0 Mul x6 coth x5 atan x3 sec Mul Pow cot x5 Pow Mul x0 x0 Mul x6 coth x5 atan x3 Mul atan x3 Mul Pow cot x5 Add Pow Mul x0 x0 Mul x6 coth x5 -1 Mul Mul cot x5 log cot x5 Mul Pow Mul x0 x0 Add Mul x6 coth x5 -1 Mul Mul x6 coth x5 Add x0 x0 