Pow Mul Pow Mul x0 Add x5 3 x0 acoth acoth x2 x6 
Mul Pow Mul Pow Mul x0 Add x5 3 x0 acoth acoth x2 Add x6 -1 Mul x6 Mul acoth acoth x2 Mul Pow Mul x0 Add x5 3 Add x0 -1 Add Mul x0 Add x5 3 Mul Mul x0 Add x5 3 log Mul x0 Add x5 3 