Pow Pow Pow x0 Mul x0 3 x0 Add Mul Mul x3 Add acsch x3 Mul x0 x0 E -2 
Mul Pow Pow Pow x0 Mul x0 3 x0 Add Add Mul Mul x3 Add acsch x3 Mul x0 x0 E -2 -1 Add Mul Add Mul Mul x3 Add acsch x3 Mul x0 x0 E -2 Mul Pow Pow x0 Mul x0 3 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul x0 3 -1 Add Mul x0 3 Mul Mul x0 log x0 3 Mul Pow x0 Mul x0 3 log Pow x0 Mul x0 3 Mul Mul Pow Pow x0 Mul x0 3 x0 log Pow Pow x0 Mul x0 3 x0 Mul E Mul x3 Add x0 x0 