sqrt Mul sqrt Pow acsch Pow x3 x2 Add -1 x0 Add x7 x0 
Mul Pow Mul 2 sqrt Mul sqrt Pow acsch Pow x3 x2 Add -1 x0 Add x7 x0 -1 Add Mul Add x7 x0 Mul Pow Mul 2 sqrt Pow acsch Pow x3 x2 Add -1 x0 -1 Mul Pow acsch Pow x3 x2 Add Add -1 x0 -1 Mul acsch Pow x3 x2 log acsch Pow x3 x2 sqrt Pow acsch Pow x3 x2 Add -1 x0 