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