Pow Add Mul Mul x0 4 Add x3 Mul x0 Pow x0 sqrt E x0 asec sqrt Pow x4 -3 
Mul Pow Add Mul Mul x0 4 Add x3 Mul x0 Pow x0 sqrt E x0 Add asec sqrt Pow x4 -3 -1 Mul asec sqrt Pow x4 -3 Add Add Mul Add x3 Mul x0 Pow x0 sqrt E 4 Mul Mul x0 4 Add Pow x0 sqrt E Mul x0 Mul Pow x0 Add sqrt E -1 sqrt E 1 