Mul Pow Mul x0 Add Mul log Add x2 x0 acoth x6 -4 Add x0 2 x0 
Add Mul x0 Mul Pow Mul x0 Add Mul log Add x2 x0 acoth x6 -4 Add Add x0 2 -1 Add Mul Add x0 2 Add Add Mul log Add x2 x0 acoth x6 -4 Mul x0 Mul acoth x6 Pow Add x2 x0 -1 Mul Mul x0 Add Mul log Add x2 x0 acoth x6 -4 log Mul x0 Add Mul log Add x2 x0 acoth x6 -4 Pow Mul x0 Add Mul log Add x2 x0 acoth x6 -4 Add x0 2 