Add sinh coth x0 Add coth x1 Add x0 cos Mul Mul x0 2 Mul atanh log x3 x0 
Add Mul cosh coth x0 Mul -1 Pow csch x0 2 Add 1 Mul Mul -1 sin Mul Mul x0 2 Mul atanh log x3 x0 Add Mul Mul atanh log x3 x0 2 Mul Mul x0 2 atanh log x3 