Add asech Mul acos sqrt Pow asech x0 -4 Pow 2 x7 x3 
Mul Mul Pow 2 x7 Mul -1 Mul Mul Pow Mul 2 sqrt Pow asech x0 -4 -1 Mul Pow asech x0 5 Mul -4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul sqrt Pow asech x0 -4 sqrt Pow asech x0 -4 -1 Pow Mul Mul Mul acos sqrt Pow asech x0 -4 Pow 2 x7 Mul acos sqrt Pow asech x0 -4 Pow 2 x7 sqrt Add 1 Mul -1 Pow Mul Mul acos sqrt Pow asech x0 -4 Pow 2 x7 Mul acos sqrt Pow asech x0 -4 Pow 2 x7 -1 -1 