Mul Pow Mul x2 cbrt acsch Mul x7 -1 x0 Mul x0 Add x7 Mul x1 2 
Add Mul Mul x0 Add x7 Mul x1 2 Mul Pow Mul x2 cbrt acsch Mul x7 -1 Add x0 -1 Mul Mul x2 cbrt acsch Mul x7 -1 log Mul x2 cbrt acsch Mul x7 -1 Mul Pow Mul x2 cbrt acsch Mul x7 -1 x0 Add x7 Mul x1 2 