exp Add Pow x2 Add Mul 2 x0 Mul cot sinh x0 x0 x7 
Mul exp Add Pow x2 Add Mul 2 x0 Mul cot sinh x0 x0 x7 Mul Pow x2 Add Add Mul 2 x0 Mul cot sinh x0 x0 -1 Mul Mul x2 log x2 Add 2 Add Mul x0 Mul Mul -1 Pow csc sinh x0 2 cosh x0 cot sinh x0 