Pow asech cos coth cot x7 Pow Add x7 Mul x0 x2 x0 
Mul Pow asech cos coth cot x7 Add Pow Add x7 Mul x0 x2 x0 -1 Mul Mul asech cos coth cot x7 log asech cos coth cot x7 Mul Pow Add x7 Mul x0 x2 Add x0 -1 Add Mul x0 x2 Mul Add x7 Mul x0 x2 log Add x7 Mul x0 x2 