Pow x7 Pow sqrt Add -2 acsch x5 Mul -1.03731472072755 x0 
Mul Pow x7 Add Pow sqrt Add -2 acsch x5 Mul -1.03731472072755 x0 -1 Mul Mul x7 log x7 Mul Pow sqrt Add -2 acsch x5 Add Mul -1.03731472072755 x0 -1 Mul Mul sqrt Add -2 acsch x5 log sqrt Add -2 acsch x5 -1.03731472072755 