csch Mul Mul pi Pow x0 log Mul 4 x6 x0 
Mul Mul Mul -1 coth Mul Mul pi Pow x0 log Mul 4 x6 x0 csch Mul Mul pi Pow x0 log Mul 4 x6 x0 Add Mul x0 Mul pi Mul Pow x0 Add log Mul 4 x6 -1 log Mul 4 x6 Mul pi Pow x0 log Mul 4 x6 