Add sqrt Pow Mul 5 sech x7 Mul Add x0 sqrt x0 Mul x7 x0 acoth Mul x0 x2 
Add Mul Pow Mul 2 sqrt Pow Mul 5 sech x7 Mul Add x0 sqrt x0 Mul x7 x0 -1 Mul Pow Mul 5 sech x7 Add Mul Add x0 sqrt x0 Mul x7 x0 -1 Mul Mul Mul 5 sech x7 log Mul 5 sech x7 Add Mul Mul x7 x0 Add 1 Pow Mul 2 sqrt x0 -1 Mul Add x0 sqrt x0 x7 Mul x2 Pow Add 1 Mul -1 Mul Mul x0 x2 Mul x0 x2 -1 