Mul Pow x0 atanh Add sin x7 Mul 4 Add -3 exp x0 coth Add x0 x0 
Add Mul coth Add x0 x0 Mul Pow x0 Add atanh Add sin x7 Mul 4 Add -3 exp x0 -1 Add atanh Add sin x7 Mul 4 Add -3 exp x0 Mul Mul x0 log x0 Mul Mul 4 exp x0 Pow Add 1 Mul -1 Mul Add sin x7 Mul 4 Add -3 exp x0 Add sin x7 Mul 4 Add -3 exp x0 -1 Mul Pow x0 atanh Add sin x7 Mul 4 Add -3 exp x0 Mul Mul -1 Pow csch Add x0 x0 2 2 