Mul x0 Mul -2 Mul Pow asech x7 x0 sqrt Pow Pow x0 x1 x4 
Add Mul -2 Mul Pow asech x7 x0 sqrt Pow Pow x0 x1 x4 Mul x0 Mul -2 Add Mul sqrt Pow Pow x0 x1 x4 Mul Pow asech x7 Add x0 -1 Mul asech x7 log asech x7 Mul Pow asech x7 x0 Mul Pow Mul 2 sqrt Pow Pow x0 x1 x4 -1 Mul Pow Pow x0 x1 Add x4 -1 Mul x4 Mul Pow x0 Add x1 -1 x1 