Mul x7 Add Pow Mul x2 x0 Mul x0 Pow acsch Mul x0 x7 x6 -4 
Mul x7 Mul Pow Mul x2 x0 Add Mul x0 Pow acsch Mul x0 x7 x6 -1 Add Mul Mul x0 Pow acsch Mul x0 x7 x6 x2 Mul Mul Mul x2 x0 log Mul x2 x0 Add Pow acsch Mul x0 x7 x6 Mul x0 Mul Pow acsch Mul x0 x7 Add x6 -1 Mul x6 Mul Mul -1 x7 Pow Mul Mul Mul x0 x7 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 x7 Mul x0 x7 -1 -1 