acot asec Mul acot Add Mul 2 x0 x0 Mul E x0 
Mul -1 Mul Mul Add Mul Mul E x0 Mul -1 Mul 3 Pow Add 1 Mul Add Mul 2 x0 x0 Add Mul 2 x0 x0 -1 Mul acot Add Mul 2 x0 x0 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acot Add Mul 2 x0 x0 Mul E x0 Mul acot Add Mul 2 x0 x0 Mul E x0 -1 Mul acot Add Mul 2 x0 x0 Mul E x0 Mul acot Add Mul 2 x0 x0 Mul E x0 -1 Pow Add 1 Mul asec Mul acot Add Mul 2 x0 x0 Mul E x0 asec Mul acot Add Mul 2 x0 x0 Mul E x0 -1 