exp acoth Mul Mul Add Mul x0 acoth x3 atanh Pow Add Add x0 x0 x0 3 x0 4 
Mul exp acoth Mul Mul Add Mul x0 acoth x3 atanh Pow Add Add x0 x0 x0 3 x0 4 Mul Mul 4 Add Mul x0 Add acoth x3 Mul Mul Pow Add Add x0 x0 x0 2 6 Pow Add 1 Mul -1 Mul Pow Add Add x0 x0 x0 3 Pow Add Add x0 x0 x0 3 -1 Add Mul x0 acoth x3 atanh Pow Add Add x0 x0 x0 3 Pow Add 1 Mul -1 Mul Mul Mul Add Mul x0 acoth x3 atanh Pow Add Add x0 x0 x0 3 x0 4 Mul Mul Add Mul x0 acoth x3 atanh Pow Add Add x0 x0 x0 3 x0 4 -1 