asech acot Add x3 Pow Pow x0 2 3 
Mul Mul -1 Mul Mul Pow Pow x0 2 2 Mul 3 Mul x0 2 Pow Add 1 Mul Add x3 Pow Pow x0 2 3 Add x3 Pow Pow x0 2 3 -1 Pow Mul Mul acot Add x3 Pow Pow x0 2 3 acot Add x3 Pow Pow x0 2 3 sqrt Add 1 Mul -1 Pow Mul acot Add x3 Pow Pow x0 2 3 acot Add x3 Pow Pow x0 2 3 -1 -1 