Pow E asech log Add sqrt x0 Mul x2 x7 
Mul Pow E Add asech log Add sqrt x0 Mul x2 x7 -1 Mul Mul E log E Mul Mul Pow Mul 2 sqrt x0 -1 Pow Add sqrt x0 Mul x2 x7 -1 Pow Mul Mul log Add sqrt x0 Mul x2 x7 log Add sqrt x0 Mul x2 x7 sqrt Add 1 Mul -1 Pow Mul log Add sqrt x0 Mul x2 x7 log Add sqrt x0 Mul x2 x7 -1 -1 