Mul Pow atan Add 0.549306144334055 x0 sec Mul x1 x3 x0 
Add Mul x0 Mul Pow atan Add 0.549306144334055 x0 Add sec Mul x1 x3 -1 Mul sec Mul x1 x3 Pow Add 1 Mul Add 0.549306144334055 x0 Add 0.549306144334055 x0 -1 Pow atan Add 0.549306144334055 x0 sec Mul x1 x3 