sqrt Mul 2 Add Add 20351.1738487591 x4 Pow x1 Pow atan cos x3 x0 
Mul Pow Mul 2 sqrt Mul 2 Add Add 20351.1738487591 x4 Pow x1 Pow atan cos x3 x0 -1 Mul 2 Mul Pow x1 Add Pow atan cos x3 x0 -1 Mul Mul x1 log x1 Mul Pow atan cos x3 Add x0 -1 Mul atan cos x3 log atan cos x3 