Add x0 atanh Add Add tanh Pow x0 x0 sinh tan Pow Add -4 Mul x0 Add x0 Add x3 Add -5 x0 1.73205080756888 x0 
Add 1 Mul Add Add Mul Pow sech Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul cosh tan Pow Add -4 Mul x0 Add x0 Add x3 Add -5 x0 1.73205080756888 Mul Pow sec Pow Add -4 Mul x0 Add x0 Add x3 Add -5 x0 1.73205080756888 2 Mul Pow Add -4 Mul x0 Add x0 Add x3 Add -5 x0 0.732050807568877 Mul 1.73205080756888 Add Add x0 Add x3 Add -5 x0 Mul x0 2 1 Pow Add 1 Mul -1 Mul Add Add tanh Pow x0 x0 sinh tan Pow Add -4 Mul x0 Add x0 Add x3 Add -5 x0 1.73205080756888 x0 Add Add tanh Pow x0 x0 sinh tan Pow Add -4 Mul x0 Add x0 Add x3 Add -5 x0 1.73205080756888 x0 -1 