Mul x0 Pow asec x0 Add x0 Pow x0 Mul acos pi sin Add x7 x0 
Add Pow asec x0 Add x0 Pow x0 Mul acos pi sin Add x7 x0 Mul x0 Mul Pow asec x0 Add Add x0 Pow x0 Mul acos pi sin Add x7 x0 -1 Add Mul Add x0 Pow x0 Mul acos pi sin Add x7 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul asec x0 log asec x0 Add 1 Mul Pow x0 Add Mul acos pi sin Add x7 x0 -1 Add Mul acos pi sin Add x7 x0 Mul Mul x0 log x0 Mul acos pi cos Add x7 x0 