Add x0 Pow Pow Add Mul x0 4 sqrt acoth x0 Mul Add Mul x0 x0 acosh x7 x2 Add E Add x0 2 
Add 1 Mul Pow Pow Add Mul x0 4 sqrt acoth x0 Mul Add Mul x0 x0 acosh x7 x2 Add Add E Add x0 2 -1 Add Mul Add E Add x0 2 Mul Pow Add Mul x0 4 sqrt acoth x0 Add Mul Add Mul x0 x0 acosh x7 x2 -1 Add Mul Mul Add Mul x0 x0 acosh x7 x2 Add 4 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add Mul x0 4 sqrt acoth x0 log Add Mul x0 4 sqrt acoth x0 Mul x2 Add x0 x0 Mul Pow Add Mul x0 4 sqrt acoth x0 Mul Add Mul x0 x0 acosh x7 x2 log Pow Add Mul x0 4 sqrt acoth x0 Mul Add Mul x0 x0 acosh x7 x2 