Pow Mul x6 sech x0 Pow asech acot x7 Mul atan x0 -2 
Mul Pow Mul x6 sech x0 Add Pow asech acot x7 Mul atan x0 -2 -1 Add Mul Pow asech acot x7 Mul atan x0 -2 Mul x6 Mul tanh x0 Mul -1 sech x0 Mul Mul Mul x6 sech x0 log Mul x6 sech x0 Mul Pow asech acot x7 Add Mul atan x0 -2 -1 Mul Mul asech acot x7 log asech acot x7 Mul -2 Pow Add 1 Mul x0 x0 -1 