Add x7 Mul 3 Pow sqrt Add acsch coth exp x1 Mul 2 asin x0 pi 
Mul 3 Mul Pow sqrt Add acsch coth exp x1 Mul 2 asin x0 Add pi -1 Mul pi Mul Pow Mul 2 sqrt Add acsch coth exp x1 Mul 2 asin x0 -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 