Mul -2 Pow acot Mul Mul atanh sqrt Pow x0 x1 Add Pow x6 asech x0 Add x5 E -2 5 
Mul -2 Mul Pow acot Mul Mul atanh sqrt Pow x0 x1 Add Pow x6 asech x0 Add x5 E -2 4 Mul 5 Mul -1 Mul Mul -2 Add Mul Add Pow x6 asech x0 Add x5 E Mul Mul Pow Mul 2 sqrt Pow x0 x1 -1 Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul -1 Mul sqrt Pow x0 x1 sqrt Pow x0 x1 -1 Mul atanh sqrt Pow x0 x1 Mul Pow x6 Add asech x0 -1 Mul Mul x6 log x6 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Mul Mul atanh sqrt Pow x0 x1 Add Pow x6 asech x0 Add x5 E -2 Mul Mul atanh sqrt Pow x0 x1 Add Pow x6 asech x0 Add x5 E -2 -1 