atan Pow x1 sqrt Pow Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Mul x0 x0 
Mul Mul Pow x1 Add sqrt Pow Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Mul x0 x0 -1 Mul Mul x1 log x1 Mul Pow Mul 2 sqrt Pow Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Mul x0 x0 -1 Mul Pow Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add Mul x0 Mul Pow cot x0 Add Mul Mul x0 Add atan x7 x0 E -1 Add Mul Mul Mul x0 Add atan x7 x0 E Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul E Add Add atan x7 x0 x0 Pow cot x0 Mul Mul x0 Add atan x7 x0 E Mul Mul Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 log Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Add x0 x0 Pow Add 1 Mul Pow x1 sqrt Pow Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Mul x0 x0 Pow x1 sqrt Pow Mul Pow cot x0 Mul Mul x0 Add atan x7 x0 E x0 Mul x0 x0 -1 