atan sqrt asech Pow Mul Pow x0 -2 -2 x4 
Mul Mul Pow Mul 2 sqrt asech Pow Mul Pow x0 -2 -2 x4 -1 Mul Mul Pow Mul Pow x0 -2 -2 Add x4 -1 Mul x4 Mul -2 Mul Pow x0 3 -2 Pow Mul Mul Pow Mul Pow x0 -2 -2 x4 Pow Mul Pow x0 -2 -2 x4 sqrt Add 1 Mul -1 Pow Mul Pow Mul Pow x0 -2 -2 x4 Pow Mul Pow x0 -2 -2 x4 -1 -1 Pow Add 1 Mul sqrt asech Pow Mul Pow x0 -2 -2 x4 sqrt asech Pow Mul Pow x0 -2 -2 x4 -1 