Add x0 Pow acoth x7 cbrt Add Add Add x0 pi -1 x0 
Add 1 Mul Pow acoth x7 Add cbrt Add Add Add x0 pi -1 x0 -1 Mul Mul acoth x7 log acoth x7 Mul Pow Mul Mul 3 cbrt Add Add Add x0 pi -1 x0 cbrt Add Add Add x0 pi -1 x0 -1 2 