Mul Add x0 acoth x0 exp Mul -2 Add x3 Mul log Pow exp sech atan Pow Add x0 x6 -5 x0 x1 
Add Mul exp Mul -2 Add x3 Mul log Pow exp sech atan Pow Add x0 x6 -5 x0 x1 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add x0 acoth x0 Mul exp Mul -2 Add x3 Mul log Pow exp sech atan Pow Add x0 x6 -5 x0 x1 Mul -2 Mul x1 Mul Mul Pow exp sech atan Pow Add x0 x6 -5 Add x0 -1 Add Mul x0 Mul exp sech atan Pow Add x0 x6 -5 Mul Mul tanh atan Pow Add x0 x6 -5 Mul -1 sech atan Pow Add x0 x6 -5 Mul Mul Pow Add x0 x6 6 -5 Pow Add 1 Mul Pow Add x0 x6 -5 Pow Add x0 x6 -5 -1 Mul exp sech atan Pow Add x0 x6 -5 log exp sech atan Pow Add x0 x6 -5 Pow Pow exp sech atan Pow Add x0 x6 -5 x0 -1 