Pow sec Pow sech x3 Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 Add acot x5 x0 
Mul Pow sec Pow sech x3 Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 Add Add acot x5 x0 -1 Add Mul Add acot x5 x0 Mul Mul tan Pow sech x3 Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 sec Pow sech x3 Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 Mul Pow sech x3 Add Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 -1 Mul Mul sech x3 log sech x3 Add Mul Add x0 -2 Mul Add Mul x0 Mul Mul tanh Mul x0 x0 Mul -1 sech Mul x0 x0 Add x0 x0 sech Mul x0 x0 Pow Add 1 Mul -1 Mul Mul sech Mul x0 x0 x0 Mul sech Mul x0 x0 x0 -1 atanh Mul sech Mul x0 x0 x0 Mul sec Pow sech x3 Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 log sec Pow sech x3 Mul atanh Mul sech Mul x0 x0 x0 Add x0 -2 