Mul x0 Pow x1 Mul Mul x0 pi cot Pow 4 csch sech acot x7 
Add Pow x1 Mul Mul x0 pi cot Pow 4 csch sech acot x7 Mul x0 Mul Pow x1 Add Mul Mul x0 pi cot Pow 4 csch sech acot x7 -1 Mul Mul x1 log x1 Mul cot Pow 4 csch sech acot x7 pi 