Pow x6 Pow Mul x0 sqrt x0 acsch Add x0 x5 
Mul Pow x6 Add Pow Mul x0 sqrt x0 acsch Add x0 x5 -1 Mul Mul x6 log x6 Mul Pow Mul x0 sqrt x0 Add acsch Add x0 x5 -1 Add Mul acsch Add x0 x5 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Mul Mul Mul x0 sqrt x0 log Mul x0 sqrt x0 Mul -1 Pow Mul Mul Add x0 x5 Add x0 x5 sqrt Add 1 Mul -1 Pow Mul Add x0 x5 Add x0 x5 -1 -1 