cot Mul Pow Pow asech x7 x1 Pow Pow Mul Add x0 3 5 x3 x7 acoth Pow x2 3 
Mul Mul -1 Pow csc Mul Pow Pow asech x7 x1 Pow Pow Mul Add x0 3 5 x3 x7 acoth Pow x2 3 2 Mul acoth Pow x2 3 Mul Pow Pow asech x7 x1 Add Pow Pow Mul Add x0 3 5 x3 x7 -1 Mul Mul Pow asech x7 x1 log Pow asech x7 x1 Mul Pow Pow Mul Add x0 3 5 x3 Add x7 -1 Mul x7 Mul Pow Mul Add x0 3 5 Add x3 -1 Mul x3 5 