sqrt Add Mul x0 Pow acsch x1 Mul Pow x4 Add x7 x0 Mul x0 Add x0 Mul x2 acosh pi sqrt E 
Mul Pow Mul 2 sqrt Add Mul x0 Pow acsch x1 Mul Pow x4 Add x7 x0 Mul x0 Add x0 Mul x2 acosh pi sqrt E -1 Add Pow acsch x1 Mul Pow x4 Add x7 x0 Mul x0 Add x0 Mul x2 acosh pi Mul x0 Mul Pow acsch x1 Add Mul Pow x4 Add x7 x0 Mul x0 Add x0 Mul x2 acosh pi -1 Mul Mul acsch x1 log acsch x1 Add Mul Mul x0 Add x0 Mul x2 acosh pi Mul Pow x4 Add Add x7 x0 -1 Mul x4 log x4 Mul Pow x4 Add x7 x0 Add Add x0 Mul x2 acosh pi x0 