Pow Add exp x0 -5 exp Pow Mul x0 x5 Add Add Pow acos asec x7 x0 1 x0 
Mul Pow Add exp x0 -5 Add exp Pow Mul x0 x5 Add Add Pow acos asec x7 x0 1 x0 -1 Add Mul exp Pow Mul x0 x5 Add Add Pow acos asec x7 x0 1 x0 exp x0 Mul Mul Add exp x0 -5 log Add exp x0 -5 Mul exp Pow Mul x0 x5 Add Add Pow acos asec x7 x0 1 x0 Mul Pow Mul x0 x5 Add Add Add Pow acos asec x7 x0 1 x0 -1 Add Mul Add Add Pow acos asec x7 x0 1 x0 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Add Mul Pow acos asec x7 Add x0 -1 Mul acos asec x7 log acos asec x7 1 