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