Mul x5 acsch Pow x0 Add x1 Pow Mul asec x6 E Mul Add x0 2 3 
Mul x5 Mul Mul -1 Mul Pow x0 Add Add x1 Pow Mul asec x6 E Mul Add x0 2 3 -1 Add Add x1 Pow Mul asec x6 E Mul Add x0 2 3 Mul Mul x0 log x0 Mul Pow Mul asec x6 E Add Mul Add x0 2 3 -1 Mul Mul Mul asec x6 E log Mul asec x6 E 3 Pow Mul Mul Pow x0 Add x1 Pow Mul asec x6 E Mul Add x0 2 3 Pow x0 Add x1 Pow Mul asec x6 E Mul Add x0 2 3 sqrt Add 1 Mul -1 Pow Mul Pow x0 Add x1 Pow Mul asec x6 E Mul Add x0 2 3 Pow x0 Add x1 Pow Mul asec x6 E Mul Add x0 2 3 -1 -1 