asech sqrt Pow Pow x0 4 Pow E x3 
Mul Mul Pow Mul 2 sqrt Pow Pow x0 4 Pow E x3 -1 Mul Pow Pow x0 4 Add Pow E x3 -1 Mul Pow E x3 Mul Pow x0 3 4 Pow Mul Mul sqrt Pow Pow x0 4 Pow E x3 sqrt Pow Pow x0 4 Pow E x3 sqrt Add 1 Mul -1 Pow Mul sqrt Pow Pow x0 4 Pow E x3 sqrt Pow Pow x0 4 Pow E x3 -1 -1 