Mul Mul Mul sqrt Mul Add x0 3 Pow x0 x4 acsch x0 x4 Mul x6 x6 
Mul Mul x6 x6 Mul x4 Add Mul acsch x0 Mul Pow Mul 2 sqrt Mul Add x0 3 Pow x0 x4 -1 Add Pow x0 x4 Mul Add x0 3 Mul Pow x0 Add x4 -1 x4 Mul sqrt Mul Add x0 3 Pow x0 x4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 