acsch Pow Pow Add log x0 x1 Mul x3 x5 x0 
Mul Mul -1 Mul Pow Pow Add log x0 x1 Mul x3 x5 Add x0 -1 Add Mul x0 Mul Pow Add log x0 x1 Add Mul x3 x5 -1 Mul Mul x3 x5 Pow x0 -1 Mul Pow Add log x0 x1 Mul x3 x5 log Pow Add log x0 x1 Mul x3 x5 Pow Mul Mul Pow Pow Add log x0 x1 Mul x3 x5 x0 Pow Pow Add log x0 x1 Mul x3 x5 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Add log x0 x1 Mul x3 x5 x0 Pow Pow Add log x0 x1 Mul x3 x5 x0 -1 -1 