Mul -4 Pow 3.80686395267032 Add sqrt csc x0 Add x0 1.73205080756888 
Mul -4 Mul Pow 3.80686395267032 Add Add sqrt csc x0 Add x0 1.73205080756888 -1 Mul 5.14366969333293 Add Mul Pow Mul 2 sqrt csc x0 -1 Mul Mul -1 cot x0 csc x0 1 