Add Mul x0 -1.37340076694502 Add Add 3 x0 csch Mul Mul x0 csch x3 x0 
Add -1.37340076694502 Add 1 Mul Mul Mul -1 coth Mul Mul x0 csch x3 x0 csch Mul Mul x0 csch x3 x0 Add Mul x0 csch x3 Mul x0 csch x3 