tan Pow x0 Pow 1.73205080756888 Add x0 x0 
Mul Pow sec Pow x0 Pow 1.73205080756888 Add x0 x0 2 Mul Pow x0 Add Pow 1.73205080756888 Add x0 x0 -1 Add Pow 1.73205080756888 Add x0 x0 Mul Mul x0 log x0 Mul Pow 1.73205080756888 Add Add x0 x0 -1 4.28135695190293 