Add Add Mul 2 x0 x0 Pow Pow x0 Add x1 2 Add Mul cbrt x0 -3 acoth x1 
Add 3 Mul Pow Pow x0 Add x1 2 Add Add Mul cbrt x0 -3 acoth x1 -1 Add Mul Add Mul cbrt x0 -3 acoth x1 Mul Pow x0 Add Add x1 2 -1 Add x1 2 Mul Mul Pow x0 Add x1 2 log Pow x0 Add x1 2 Mul -3 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 