exp Add x0 acot Pow atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 x0 
Mul exp Add x0 acot Pow atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 x0 Add 1 Mul -1 Mul Mul Pow atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 Add x0 -1 Mul atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 log atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 Pow Add 1 Mul Pow atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 x0 Pow atan Mul -2 Mul Mul x6 x3 Mul -0.549306144334055 Add -4 sec Pow Add x0 x0 -2 x0 -1 