Pow Mul x0 x6 acsch Add Pow Add x1 3 x0 625 
Mul Pow Mul x0 x6 Add acsch Add Pow Add x1 3 x0 625 -1 Add Mul acsch Add Pow Add x1 3 x0 625 x6 Mul Mul Mul x0 x6 log Mul x0 x6 Mul Mul -1 Mul Pow Add x1 3 Add x0 -1 Mul Add x1 3 log Add x1 3 Pow Mul Mul Add Pow Add x1 3 x0 625 Add Pow Add x1 3 x0 625 sqrt Add 1 Mul -1 Pow Mul Add Pow Add x1 3 x0 625 Add Pow Add x1 3 x0 625 -1 -1 