Pow acsch Mul x1 -1 Pow sqrt Mul 4 Add -1 sqrt Pow Add Mul x0 x6 x0 x7 Add x0 x0 
Mul Pow acsch Mul x1 -1 Add Pow sqrt Mul 4 Add -1 sqrt Pow Add Mul x0 x6 x0 x7 Add x0 x0 -1 Mul Mul acsch Mul x1 -1 log acsch Mul x1 -1 Mul Pow sqrt Mul 4 Add -1 sqrt Pow Add Mul x0 x6 x0 x7 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow Mul 2 sqrt Mul 4 Add -1 sqrt Pow Add Mul x0 x6 x0 x7 -1 Mul 4 Mul Pow Mul 2 sqrt Pow Add Mul x0 x6 x0 x7 -1 Mul Pow Add Mul x0 x6 x0 Add x7 -1 Mul x7 Add x6 1 Mul Mul sqrt Mul 4 Add -1 sqrt Pow Add Mul x0 x6 x0 x7 log sqrt Mul 4 Add -1 sqrt Pow Add Mul x0 x6 x0 x7 2 