Mul Mul -2 Pow Mul x0 sqrt Add sqrt x0 3 x0 asech Pow x7 tan Pow asech Add x0 Pow x0 x1 Add x0 2 
Add Mul asech Pow x7 tan Pow asech Add x0 Pow x0 x1 Add x0 2 Mul -2 Mul Pow Mul x0 sqrt Add sqrt x0 3 Add x0 -1 Add Mul x0 Add sqrt Add sqrt x0 3 Mul x0 Mul Pow Mul 2 sqrt Add sqrt x0 3 -1 Pow Mul 2 sqrt x0 -1 Mul Mul x0 sqrt Add sqrt x0 3 log Mul x0 sqrt Add sqrt x0 3 Mul Mul -2 Pow Mul x0 sqrt Add sqrt x0 3 x0 Mul Mul Pow x7 Add tan Pow asech Add x0 Pow x0 x1 Add x0 2 -1 Mul Mul x7 log x7 Mul Pow sec Pow asech Add x0 Pow x0 x1 Add x0 2 2 Mul Pow asech Add x0 Pow x0 x1 Add Add x0 2 -1 Add Mul Add x0 2 Mul Add 1 Mul Pow x0 Add x1 -1 x1 Pow Mul Mul Add x0 Pow x0 x1 Add x0 Pow x0 x1 sqrt Add 1 Mul -1 Pow Mul Add x0 Pow x0 x1 Add x0 Pow x0 x1 -1 -1 Mul asech Add x0 Pow x0 x1 log asech Add x0 Pow x0 x1 Pow Mul Mul Pow x7 tan Pow asech Add x0 Pow x0 x1 Add x0 2 Pow x7 tan Pow asech Add x0 Pow x0 x1 Add x0 2 sqrt Add 1 Mul -1 Pow Mul Pow x7 tan Pow asech Add x0 Pow x0 x1 Add x0 2 Pow x7 tan Pow asech Add x0 Pow x0 x1 Add x0 2 -1 -1 