Pow Pow exp Add Mul Pow x0 2 x7 x0 Pow Add Pow x0 log x3 x0 x0 Pow Pow x0 Add E acoth E x0 
Mul Pow Pow exp Add Mul Pow x0 2 x7 x0 Pow Add Pow x0 log x3 x0 x0 Add Pow Pow x0 Add E acoth E x0 -1 Add Mul Pow Pow x0 Add E acoth E x0 Mul Pow exp Add Mul Pow x0 2 x7 x0 Add Pow Add Pow x0 log x3 x0 x0 -1 Add Mul Pow Add Pow x0 log x3 x0 x0 Mul exp Add Mul Pow x0 2 x7 x0 Add Mul x7 Mul x0 2 1 Mul Mul exp Add Mul Pow x0 2 x7 x0 log exp Add Mul Pow x0 2 x7 x0 Mul Pow Add Pow x0 log x3 x0 Add x0 -1 Add Mul x0 Add Mul Pow x0 Add log x3 -1 log x3 1 Mul Add Pow x0 log x3 x0 log Add Pow x0 log x3 x0 Mul Mul Pow exp Add Mul Pow x0 2 x7 x0 Pow Add Pow x0 log x3 x0 x0 log Pow exp Add Mul Pow x0 2 x7 x0 Pow Add Pow x0 log x3 x0 x0 Mul Pow Pow x0 Add E acoth E Add x0 -1 Add Mul x0 Mul Pow x0 Add Add E acoth E -1 Add E acoth E Mul Pow x0 Add E acoth E log Pow x0 Add E acoth E 