Mul Mul x1 Mul x6 x0 tan acsc Add x0 3 
Add Mul tan acsc Add x0 3 Mul x1 x6 Mul Mul x1 Mul x6 x0 Mul Pow sec acsc Add x0 3 2 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 3 Add x0 3 -1 Add x0 3 Add x0 3 -1 