Mul Mul Pow coth x4 -3 Mul x0 -4 cos Add x0 Pow acoth cot Pow x1 -3 x0 
Add Mul cos Add x0 Pow acoth cot Pow x1 -3 x0 Mul Pow coth x4 -3 -4 Mul Mul Pow coth x4 -3 Mul x0 -4 Mul Mul -1 sin Add x0 Pow acoth cot Pow x1 -3 x0 Add 1 Mul Pow acoth cot Pow x1 -3 Add x0 -1 Mul acoth cot Pow x1 -3 log acoth cot Pow x1 -3 