Mul Add Mul Add E x3 Mul 4 acos Pow x6 Pow x0 x2 x0 acot asec E 
Mul acot asec E Add Mul Add E x3 Mul 4 Mul -1 Mul Mul Pow x6 Add Pow x0 x2 -1 Mul Mul x6 log x6 Mul Pow x0 Add x2 -1 x2 Pow sqrt Add 1 Mul -1 Mul Pow x6 Pow x0 x2 Pow x6 Pow x0 x2 -1 1 