Mul Mul acsch Pow exp Add x0 x3 x0 x0 Add x0 x4 
Add Mul Add x0 x4 Add Mul x0 Mul Mul -1 Mul Pow exp Add x0 x3 Add x0 -1 Add Mul x0 exp Add x0 x3 Mul exp Add x0 x3 log exp Add x0 x3 Pow Mul Mul Pow exp Add x0 x3 x0 Pow exp Add x0 x3 x0 sqrt Add 1 Mul -1 Pow Mul Pow exp Add x0 x3 x0 Pow exp Add x0 x3 x0 -1 -1 acsch Pow exp Add x0 x3 x0 Mul acsch Pow exp Add x0 x3 x0 x0 