Mul x0 csch Add Mul Mul -2 Mul x0 Mul x1 x0 x0 x4 
Add csch Add Mul Mul -2 Mul x0 Mul x1 x0 x0 x4 Mul x0 Mul Mul Mul -1 coth Add Mul Mul -2 Mul x0 Mul x1 x0 x0 x4 csch Add Mul Mul -2 Mul x0 Mul x1 x0 x0 x4 Add Mul x0 Mul -2 Add Mul x1 x0 Mul x0 x1 Mul -2 Mul x0 Mul x1 x0 