Pow sech x0 Pow Mul acot x0 atanh x7 E 
Mul Pow sech x0 Add Pow Mul acot x0 atanh x7 E -1 Add Mul Pow Mul acot x0 atanh x7 E Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul Pow Mul acot x0 atanh x7 Add E -1 Mul E Mul atanh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 