Add 6.20358627137024 acot Mul x0 exp Pow asec x7 x0 
Mul -1 Mul Add exp Pow asec x7 x0 Mul x0 Mul exp Pow asec x7 x0 Mul Pow asec x7 Add x0 -1 Mul asec x7 log asec x7 Pow Add 1 Mul Mul x0 exp Pow asec x7 x0 Mul x0 exp Pow asec x7 x0 -1 