Mul x0 atanh Mul Pow exp Pow x7 -4 Mul x0 Add exp Add sech Mul x0 x0 acoth Pow x0 x0 x0 x3 
Add atanh Mul Pow exp Pow x7 -4 Mul x0 Add exp Add sech Mul x0 x0 acoth Pow x0 x0 x0 x3 Mul x0 Mul Mul x3 Mul Pow exp Pow x7 -4 Add Mul x0 Add exp Add sech Mul x0 x0 acoth Pow x0 x0 x0 -1 Mul Mul exp Pow x7 -4 log exp Pow x7 -4 Add Add exp Add sech Mul x0 x0 acoth Pow x0 x0 x0 Mul x0 Add Mul exp Add sech Mul x0 x0 acoth Pow x0 x0 Add Mul Mul tanh Mul x0 x0 Mul -1 sech Mul x0 x0 Add x0 x0 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 1 Pow Add 1 Mul -1 Mul Mul Pow exp Pow x7 -4 Mul x0 Add exp Add sech Mul x0 x0 acoth Pow x0 x0 x0 x3 Mul Pow exp Pow x7 -4 Mul x0 Add exp Add sech Mul x0 x0 acoth Pow x0 x0 x0 x3 -1 