Pow atanh x7 Pow sech Mul x1 acot Mul -4 x2 x0 
Mul Pow atanh x7 Add Pow sech Mul x1 acot Mul -4 x2 x0 -1 Mul Mul atanh x7 log atanh x7 Mul Pow sech Mul x1 acot Mul -4 x2 Add x0 -1 Mul sech Mul x1 acot Mul -4 x2 log sech Mul x1 acot Mul -4 x2 