acoth Mul Pow Mul Add x3 3 asech Add x0 x3 -3 x4 
Mul Mul x4 Mul Pow Mul Add x3 3 asech Add x0 x3 4 Mul -3 Mul Add x3 3 Pow Mul Mul Add x0 x3 Add x0 x3 sqrt Add 1 Mul -1 Pow Mul Add x0 x3 Add x0 x3 -1 -1 Pow Add 1 Mul -1 Mul Mul Pow Mul Add x3 3 asech Add x0 x3 -3 x4 Mul Pow Mul Add x3 3 asech Add x0 x3 -3 x4 -1 