atan Mul asec x7 Pow Pow Mul -1 sqrt Add x7 3 asin tanh Add 0.295812915532746 x3 x0 
Mul Mul asec x7 Mul Pow Pow Mul -1 sqrt Add x7 3 asin tanh Add 0.295812915532746 x3 Add x0 -1 Mul Pow Mul -1 sqrt Add x7 3 asin tanh Add 0.295812915532746 x3 log Pow Mul -1 sqrt Add x7 3 asin tanh Add 0.295812915532746 x3 Pow Add 1 Mul Mul asec x7 Pow Pow Mul -1 sqrt Add x7 3 asin tanh Add 0.295812915532746 x3 x0 Mul asec x7 Pow Pow Mul -1 sqrt Add x7 3 asin tanh Add 0.295812915532746 x3 x0 -1 