acoth Pow x3 csch Pow x0 4 
Mul Mul Pow x3 Add csch Pow x0 4 -1 Mul Mul x3 log x3 Mul Mul Mul -1 coth Pow x0 4 csch Pow x0 4 Mul Pow x0 3 4 Pow Add 1 Mul -1 Mul Pow x3 csch Pow x0 4 Pow x3 csch Pow x0 4 -1 