Mul x1 acos Add Mul Mul x0 Pow Add pi -1 x0 Mul Add -1 Pow acsch Add x0 x7 x0 x0 -4 
Mul x1 Mul -1 Mul Add Mul Mul Add -1 Pow acsch Add x0 x7 x0 x0 Add Pow Add pi -1 x0 Mul x0 Mul Pow Add pi -1 Add x0 -1 Mul Add pi -1 log Add pi -1 Mul Mul x0 Pow Add pi -1 x0 Add Mul x0 Mul Pow acsch Add x0 x7 Add x0 -1 Add Mul x0 Mul -1 Pow Mul Mul Add x0 x7 Add x0 x7 sqrt Add 1 Mul -1 Pow Mul Add x0 x7 Add x0 x7 -1 -1 Mul acsch Add x0 x7 log acsch Add x0 x7 Add -1 Pow acsch Add x0 x7 x0 Pow sqrt Add 1 Mul -1 Mul Add Mul Mul x0 Pow Add pi -1 x0 Mul Add -1 Pow acsch Add x0 x7 x0 x0 -4 Add Mul Mul x0 Pow Add pi -1 x0 Mul Add -1 Pow acsch Add x0 x7 x0 x0 -4 -1 