Mul x7 Pow sqrt x0 Pow Mul x0 Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E x0 
Mul x7 Mul Pow sqrt x0 Add Pow Mul x0 Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E x0 -1 Add Mul Pow Mul x0 Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow Mul x0 Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E Add x0 -1 Add Mul x0 Add Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E Mul x0 Add 2 Add Mul Pow x0 sqrt cot E Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Mul Pow x0 Add sqrt cot E -1 sqrt cot E Mul Mul x0 Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E log Mul x0 Add Mul x0 2 Mul Pow x2 x0 Pow x0 sqrt cot E 