Mul Mul -2 x7 Add Mul Mul Mul Add x0 x3 Add acsch Mul x5 x0 x5 Mul x0 -5 x7 x5 
Mul Mul -2 x7 Mul x7 Add Mul Mul x0 -5 Add Add acsch Mul x5 x0 x5 Mul Add x0 x3 Mul Mul -1 x5 Pow Mul Mul Mul x5 x0 Mul x5 x0 sqrt Add 1 Mul -1 Pow Mul Mul x5 x0 Mul x5 x0 -1 -1 Mul Mul Add x0 x3 Add acsch Mul x5 x0 x5 -5 