asech Pow exp x0 Pow -2 x1 
Mul Mul Pow exp x0 Add Pow -2 x1 -1 Mul Pow -2 x1 exp x0 Pow Mul Mul Pow exp x0 Pow -2 x1 Pow exp x0 Pow -2 x1 sqrt Add 1 Mul -1 Pow Mul Pow exp x0 Pow -2 x1 Pow exp x0 Pow -2 x1 -1 -1 