Add x0 Pow x1 sin Pow x0 Mul Add acoth Add exp x0 x0 csch x6 x7 
Add 1 Mul Pow x1 Add sin Pow x0 Mul Add acoth Add exp x0 x0 csch x6 x7 -1 Mul Mul x1 log x1 Mul cos Pow x0 Mul Add acoth Add exp x0 x0 csch x6 x7 Mul Pow x0 Add Mul Add acoth Add exp x0 x0 csch x6 x7 -1 Add Mul Add acoth Add exp x0 x0 csch x6 x7 Mul Mul x0 log x0 Mul x7 Mul Add exp x0 1 Pow Add 1 Mul -1 Mul Add exp x0 x0 Add exp x0 x0 -1 