Add Pow cot x7 2 Add sqrt Add Add Mul sqrt Pow x0 x3 x0 x0 x0 x0 
Add Mul Pow Mul 2 sqrt Add Add Mul sqrt Pow x0 x3 x0 x0 x0 -1 Add Add Add Mul x0 Mul Pow Mul 2 sqrt Pow x0 x3 -1 Mul Pow x0 Add x3 -1 x3 sqrt Pow x0 x3 1 1 1 