Add Mul Pow Pow Mul csch exp x1 x0 Mul -3 x0 cosh pi x0 pi 
Add Mul x0 Mul Pow Pow Mul csch exp x1 x0 Mul -3 x0 Add cosh pi -1 Mul cosh pi Mul Pow Mul csch exp x1 x0 Add Mul -3 x0 -1 Add Mul Mul -3 x0 csch exp x1 Mul Mul Mul csch exp x1 x0 log Mul csch exp x1 x0 -3 Pow Pow Mul csch exp x1 x0 Mul -3 x0 cosh pi 