Mul Pow x0 Add Mul E x0 2 csch Pow Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 Mul x0 Mul 16 x0 
Add Mul csch Pow Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 Mul x0 Mul 16 x0 Mul Pow x0 Add Add Mul E x0 2 -1 Add Add Mul E x0 2 Mul Mul x0 log x0 E Mul Pow x0 Add Mul E x0 2 Mul Mul Mul -1 coth Pow Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 Mul x0 Mul 16 x0 csch Pow Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 Mul x0 Mul 16 x0 Mul Pow Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 Add Mul x0 Mul 16 x0 -1 Add Mul Mul x0 Mul 16 x0 Add Mul Mul x4 x0 Mul pi Mul Mul -1 Pow csc Add x0 Pow x0 x0 2 Add 1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul pi cot Add x0 Pow x0 x0 x4 Mul Mul Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 log Mul Mul pi cot Add x0 Pow x0 x0 Mul x4 x0 Add Mul 16 x0 Mul x0 16 