acot Pow x7 Mul sqrt Mul x2 x0 Add x0 sech x3 
Mul -1 Mul Mul Pow x7 Add Mul sqrt Mul x2 x0 Add x0 sech x3 -1 Mul Mul x7 log x7 Add Mul Add x0 sech x3 Mul Pow Mul 2 sqrt Mul x2 x0 -1 x2 sqrt Mul x2 x0 Pow Add 1 Mul Pow x7 Mul sqrt Mul x2 x0 Add x0 sech x3 Pow x7 Mul sqrt Mul x2 x0 Add x0 sech x3 -1 