Mul Pow atan cos x7 Add x0 pi atan Add 0.540302305868140 x0 
Add Mul atan Add 0.540302305868140 x0 Mul Pow atan cos x7 Add Add x0 pi -1 Mul atan cos x7 log atan cos x7 Mul Pow atan cos x7 Add x0 pi Pow Add 1 Mul Add 0.540302305868140 x0 Add 0.540302305868140 x0 -1 