Mul x0 Add Mul Pow 4 pi x0 Add x0 Mul x0 Pow x1 sqrt sinh cbrt x0 
Add Add Mul Pow 4 pi x0 Add x0 Mul x0 Pow x1 sqrt sinh cbrt x0 Mul x0 Add Pow 4 pi Add 1 Add Pow x1 sqrt sinh cbrt x0 Mul x0 Mul Pow x1 Add sqrt sinh cbrt x0 -1 Mul Mul x1 log x1 Mul Pow Mul 2 sqrt sinh cbrt x0 -1 Mul cosh cbrt x0 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 