Add Pow x0 Add Add cot x0 2 Mul x0 coth x4 Mul acot Pow 4 E Mul 3 Add x7 x0 
Add Mul Pow x0 Add Add Add cot x0 2 Mul x0 coth x4 -1 Add Add Add cot x0 2 Mul x0 coth x4 Mul Mul x0 log x0 Add Mul -1 Pow csc x0 2 coth x4 Mul acot Pow 4 E 3 