Add Add acosh Mul E -2 acoth Pow Mul -5 Add acoth x0 atanh x3 Pow Add x2 Mul x0 x7 4 Add x0 x0 
Add Mul Mul Pow Mul -5 Add acoth x0 atanh x3 Add Pow Add x2 Mul x0 x7 4 -1 Add Mul Pow Add x2 Mul x0 x7 4 Mul -5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul -5 Add acoth x0 atanh x3 log Mul -5 Add acoth x0 atanh x3 Mul Pow Add x2 Mul x0 x7 3 Mul 4 x7 Pow Add 1 Mul -1 Mul Pow Mul -5 Add acoth x0 atanh x3 Pow Add x2 Mul x0 x7 4 Pow Mul -5 Add acoth x0 atanh x3 Pow Add x2 Mul x0 x7 4 -1 2 