Add Pow Add x1 pi Add Add coth Mul cosh x0 x0 sinh cosh pi x3 x0 
Add Mul Pow Add x1 pi Add Add Add coth Mul cosh x0 x0 sinh cosh pi x3 -1 Mul Mul Add x1 pi log Add x1 pi Mul Mul -1 Pow csch Mul cosh x0 x0 2 Add Mul x0 sinh x0 cosh x0 1 