Add Add x1 Mul x0 csch x2 Add Pow Mul -4 Mul Pow x0 sinh x0 atan x6 -3 x0 
Add csch x2 Add Mul Pow Mul -4 Mul Pow x0 sinh x0 atan x6 4 Mul -3 Mul -4 Mul atan x6 Mul Pow x0 Add sinh x0 -1 Add sinh x0 Mul Mul x0 log x0 cosh x0 1 