Pow Pow cot Add x4 cot Add -5 pi Add Add x0 x0 Pow acoth x0 x1 x3 
Mul Pow Pow cot Add x4 cot Add -5 pi Add Add x0 x0 Pow acoth x0 x1 Add x3 -1 Mul x3 Mul Pow cot Add x4 cot Add -5 pi Add Add Add x0 x0 Pow acoth x0 x1 -1 Mul Mul cot Add x4 cot Add -5 pi log cot Add x4 cot Add -5 pi Add 2 Mul Pow acoth x0 Add x1 -1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 