Add Mul x0 Pow x0 x3 Pow Pow x0 sin x6 Mul 5 coth atanh x0 
Add Add Pow x0 x3 Mul x0 Mul Pow x0 Add x3 -1 x3 Mul Pow Pow x0 sin x6 Add Mul 5 coth atanh x0 -1 Add Mul Mul 5 coth atanh x0 Mul Pow x0 Add sin x6 -1 sin x6 Mul Mul Pow x0 sin x6 log Pow x0 sin x6 Mul 5 Mul Mul -1 Pow csch atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 