acsch Pow Mul x3 x0 Mul Add log x6 x0 x3 
Mul Mul -1 Mul Pow Mul x3 x0 Add Mul Add log x6 x0 x3 -1 Add Mul Mul Add log x6 x0 x3 x3 Mul Mul Mul x3 x0 log Mul x3 x0 x3 Pow Mul Mul Pow Mul x3 x0 Mul Add log x6 x0 x3 Pow Mul x3 x0 Mul Add log x6 x0 x3 sqrt Add 1 Mul -1 Pow Mul Pow Mul x3 x0 Mul Add log x6 x0 x3 Pow Mul x3 x0 Mul Add log x6 x0 x3 -1 -1 