Add acoth Add Add acot Pow x0 4 Mul 9 atan cot x7 acoth Pow Pow sech cosh E x0 x0 x0 
Add Mul Add Mul -1 Mul Mul Pow x0 3 4 Pow Add 1 Mul Pow x0 4 Pow x0 4 -1 Mul Mul Pow Pow sech cosh E x0 Add x0 -1 Add Mul x0 Mul Pow sech cosh E Add x0 -1 Mul sech cosh E log sech cosh E Mul Pow sech cosh E x0 log Pow sech cosh E x0 Pow Add 1 Mul -1 Mul Pow Pow sech cosh E x0 x0 Pow Pow sech cosh E x0 x0 -1 Pow Add 1 Mul -1 Mul Add Add acot Pow x0 4 Mul 9 atan cot x7 acoth Pow Pow sech cosh E x0 x0 Add Add acot Pow x0 4 Mul 9 atan cot x7 acoth Pow Pow sech cosh E x0 x0 -1 1 