Add x0 Pow Mul x5 atanh tanh x1 cot Mul exp x0 sec Mul Pow Add x0 x0 1.73205080756888 x0 
Add 1 Mul Pow Mul x5 atanh tanh x1 Add cot Mul exp x0 sec Mul Pow Add x0 x0 1.73205080756888 x0 -1 Mul Mul Mul x5 atanh tanh x1 log Mul x5 atanh tanh x1 Mul Mul -1 Pow csc Mul exp x0 sec Mul Pow Add x0 x0 1.73205080756888 x0 2 Add Mul sec Mul Pow Add x0 x0 1.73205080756888 x0 exp x0 Mul exp x0 Mul Mul tan Mul Pow Add x0 x0 1.73205080756888 x0 sec Mul Pow Add x0 x0 1.73205080756888 x0 Add Mul x0 Mul Pow Add x0 x0 0.732050807568877 3.73205080756888 Pow Add x0 x0 1.73205080756888 