Add Pow Mul Mul x0 2 Add sqrt Add x0 asec acoth x1 x1 Pow x3 2 Add acot Mul 3 x0 x0 
Add Mul Pow Mul Mul x0 2 Add sqrt Add x0 asec acoth x1 x1 Add Pow x3 2 -1 Mul Pow x3 2 Add Mul Add sqrt Add x0 asec acoth x1 x1 2 Mul Mul x0 2 Pow Mul 2 sqrt Add x0 asec acoth x1 -1 Add Mul -1 Mul 3 Pow Add 1 Mul Mul 3 x0 Mul 3 x0 -1 1 