Add exp Mul Mul Add x0 cot x6 x1 pi Pow Pow x2 x0 sqrt x0 
Add Mul exp Mul Mul Add x0 cot x6 x1 pi Mul pi x1 Mul Pow Pow x2 x0 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Mul Pow x2 x0 log Pow x2 x0 Pow Mul 2 sqrt x0 -1 