Add Pow Add x0 3 Mul x1 x0 Mul x0 Pow acoth x4 x0 
Add Mul Pow Add x0 3 Add Mul x1 x0 -1 Add Mul x1 x0 Mul Mul Add x0 3 log Add x0 3 x1 Add Pow acoth x4 x0 Mul x0 Mul Pow acoth x4 Add x0 -1 Mul acoth x4 log acoth x4 