Mul acos Pow x0 log Mul Mul -2 x0 Add acot sech x0 Pow x0 x7 5 
Mul 5 Mul -1 Mul Mul Pow x0 Add log Mul Mul -2 x0 Add acot sech x0 Pow x0 x7 -1 Add log Mul Mul -2 x0 Add acot sech x0 Pow x0 x7 Mul Mul x0 log x0 Mul Add Mul Add acot sech x0 Pow x0 x7 -2 Mul Mul -2 x0 Add Mul -1 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul sech x0 sech x0 -1 Mul Pow x0 Add x7 -1 x7 Pow Mul Mul -2 x0 Add acot sech x0 Pow x0 x7 -1 Pow sqrt Add 1 Mul -1 Mul Pow x0 log Mul Mul -2 x0 Add acot sech x0 Pow x0 x7 Pow x0 log Mul Mul -2 x0 Add acot sech x0 Pow x0 x7 -1 