log Add Pow x0 acoth x3 Add csc cosh x1 Mul x0 Add Mul 4 x0 csch x0 
Mul Add Mul Pow x0 Add acoth x3 -1 acoth x3 Add Add Mul 4 x0 csch x0 Mul x0 Add 4 Mul Mul -1 coth x0 csch x0 Pow Add Pow x0 acoth x3 Add csc cosh x1 Mul x0 Add Mul 4 x0 csch x0 -1 