Mul Pow x0 acos Mul -2 Mul x0 sin atan x6 -1 
Mul -1 Mul Pow x0 Add acos Mul -2 Mul x0 sin atan x6 -1 Add acos Mul -2 Mul x0 sin atan x6 Mul Mul x0 log x0 Mul -1 Mul Mul -2 sin atan x6 Pow sqrt Add 1 Mul -1 Mul Mul -2 Mul x0 sin atan x6 Mul -2 Mul x0 sin atan x6 -1 