Pow Add Add x4 x3 exp acot x0 cos cot Pow x0 acoth pi 
Mul Pow Add Add x4 x3 exp acot x0 Add cos cot Pow x0 acoth pi -1 Add Mul cos cot Pow x0 acoth pi Mul exp acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add Add x4 x3 exp acot x0 log Add Add x4 x3 exp acot x0 Mul Mul -1 sin cot Pow x0 acoth pi Mul Mul -1 Pow csc Pow x0 acoth pi 2 Mul Pow x0 Add acoth pi -1 acoth pi 