Add x0 Mul Mul tan acos Mul -2 x0 acsc Add Mul x0 -2 Add x0 x0 x7 
Add 1 Mul x7 Mul acsc Add Mul x0 -2 Add x0 x0 Mul Pow sec acos Mul -2 x0 2 Mul -1 Mul -2 Pow sqrt Add 1 Mul -1 Mul Mul -2 x0 Mul -2 x0 -1 