Mul asech Add acsc x0 x4 E 
Mul E Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul Add acsc x0 x4 Add acsc x0 x4 sqrt Add 1 Mul -1 Pow Mul Add acsc x0 x4 Add acsc x0 x4 -1 -1 