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