Mul x0 Pow Mul Add x6 Pow acsch pi x0 x0 Mul Add x6 x2 3 
Add Pow Mul Add x6 Pow acsch pi x0 x0 Mul Add x6 x2 3 Mul x0 Mul Pow Mul Add x6 Pow acsch pi x0 x0 Add Mul Add x6 x2 3 -1 Mul Mul Add x6 x2 3 Add Mul x0 Mul Pow acsch pi Add x0 -1 Mul acsch pi log acsch pi Add x6 Pow acsch pi x0 