Mul asech Mul Pow cot x1 Add Mul x0 x3 x0 Add Add x1 pi x5 Mul Pow 2 x0 x0 
Add Mul Mul Pow 2 x0 x0 Mul Mul Add Add x1 pi x5 Mul Pow cot x1 Add Add Mul x0 x3 x0 -1 Mul Mul cot x1 log cot x1 Add x3 1 Pow Mul Mul Mul Pow cot x1 Add Mul x0 x3 x0 Add Add x1 pi x5 Mul Pow cot x1 Add Mul x0 x3 x0 Add Add x1 pi x5 sqrt Add 1 Mul -1 Pow Mul Mul Pow cot x1 Add Mul x0 x3 x0 Add Add x1 pi x5 Mul Pow cot x1 Add Mul x0 x3 x0 Add Add x1 pi x5 -1 -1 Mul asech Mul Pow cot x1 Add Mul x0 x3 x0 Add Add x1 pi x5 Add Mul x0 Mul Pow 2 Add x0 -1 2.69314718055995 Pow 2 x0 